archivi di .mau.

quello che non oso mettere nel mio blog ufficiale

Monthly Archives: November 2019

[ENGRISH] Usate Google Translate?

In tal caso starete mandando i pesci a scuola. (Non mi ricordavo più come si diceva in italiano “banco di pesci” e ho commesso l’errore di usare Google Translate; ma a dire il vero anche l’Hazon non registra la locuzione, … Continue reading

November 9, 2019 Archivi

[HOWTO] aggiungere solo directory nuove a $PATH

All’atto pratico non serve molto, ma se avete voglia di aggiungere a $PATH solo directory che non sono già presenti potete scrivere così: for DIR in “/cygdrive/c/cygwin64/bin” \ “/cygdrive/c/Program Files (x86)/dir1” \ “/cygdrive/c/Program Files/dir2” ; do echo $PATH | grep … Continue reading

November 6, 2019 Archivi
(i miei cookie)