Trucchi e tools per il nostro amato "Pinguino Tux"
In Linux conoscere il terminale è fondamentale, anche se ormai possiamo fare tutto da gui.
Ma potrebbe esserci il caso in cui la gui non funziona, o magari connettiamo ad un server remoto tramite SSH, ecc.
Il comando df in Linux penso lo conosciamo tutti; solo che, rispetto a quello a cui siamo abituati oggi, non è proprio leggibile.
In giro si trovano varie alternative; una che trovo interessante è duf!
Piccol snippet per eseguire il logout di tutti gli utenti in Linux.
Per farlo possiamo usare il comando pkill, che è un comando di base di Linux.
Solo che pare che non sia sempre localizzato in percorsi inclusoi nel PATH di sistema.
In Linux conoscere il terminale è fondamentale, anche se ormai possiamo fare tutto da gui.
Ma potrebbe esserci il caso in cui la gui non funziona, o magari connettiamo ad un server remoto tramite SSH, ecc.
In Linux ci sono vari limiti settati per evitare un eccessivo consumo di risorse.
Oggi vediamo come visualizzare e settare il numero massimo di file aperti usando il comndo ulimit.
Intanto specifichiamo che abbiamo due tipi di limiti: hard limit e soft limit.
Sulle molte distro Linux vengono lasciati i vecchi kernel quando viene installato quello nuovo.
Quindi è possibile usare anche i kernel precedenti.
Su Arch Linux ho scoperto che esiste il paccheto expac che viene descritto come "pacman database extraction utility".
Oggi vediamo come usarlo per visualizzare i pacchetti installati in ordine di data.
Ogni distribuzione Linux ha le sue configurazioni standard, che cambiano anche se si usa lo stesso DE.
Ad esempio in openSUSE con KDE Plasma, una volta impostato il desktop classico, ci sono già le icone.
Su Arch Linux no; vediamo come ricrearle.
Il comando basename in Linux è molto usato negli script in cui si vuole sostanzialmente usare i nomi delle cartelle / files.
In pratica il comando non fa altro che restituire l'ultima parte di un determinato path.
Di ImageMagick ne abbiamo parlato svariate volte.
Oggi mi serviva per convertire i DPI di svariate immagini, senza toccare le dimensioni.