shell

Mattepuffo's logo
Parsing della riga di comando in Linux con argbash

Parsing della riga di comando in Linux con argbash

Quando creiamo i nostri script per la shell, è molto facile che dobbiamo raccogliere l'input dell'utente.

Se vogliamo usare una cosa più avanzata di quella standard della shell, possiamo usare argbash!

Per installarlo su Arch Linux:

$ yaourt -Sy argbash

Mattepuffo's logo
Installare SSH su Windows 10

Installare SSH su Windows 10

Fino ad oggi abbiamo sempre usato client SSH di terze parti su Windows.

Ma finalmente, su Windows 10, la Microsoft ha introdotto un cliente e un server SSH.

Mattepuffo's logo
Resettare Microsoft Edge

Resettare Microsoft Edge

Io personalmente non uso Microsoft Edge, anche se è sicuramente meglio di qualsiasi versione di IE.

Mi è capitato, però, un pc sul quale dovevo resettarlo perchè non funzionava più (non chiedetemi perchè).

Per resettarlo possiamo usare questa procedura.

Mattepuffo's logo
Abilitare il tema dark in Windows 10 automaticamente

Abilitare il tema dark in Windows 10 automaticamente

Windows 10 arriva con la modalità tema light e dark.

Per cambiare tema, non c'è bisogno dei permessi avanzati, in quanto si tratta di impostazioni grafiche desktop.

Ma se volessimo fare in modo che Windows applichi il tema dark da una certa ora in poi (cosa consigliata per la vista)?

Possiamo farlo creando dei file da lanciare da PowerShell.

Mattepuffo's logo
Come aprire la PowerShell in una specifica directory in Windows 10

Come aprire la PowerShell in una specifica directory in Windows 10

Windows 10 punta molto sull'uso della PowerShell rispetto al classico prompt dei comandi.

Anche perchè la Microsoft ci ha investito parecchio, ed in effetti è molto più potente.

Oggi vediamo un piccolo trucco: come aprirla in una determinata directory.

In questo modo non ci dovremmo spostare con il classico comando CD.

Mattepuffo's logo
Cambiare la shell di default in Linux

Cambiare la shell di default in Linux

Su Linux è possibile usare diverse shell.

La bash è tra le più usate, ma anche la zsh sta prendendo parecchio piede.

Oggi vediamo come:

  • identificare la shell usata
  • identificare le shell disponibili a sistema
  • cambiare shell