Archivio dell'etichetta 'export'

Polimi shell runner (poliexec) è un semplice script per la shell (bash\sh compatibile) che vi consente di eseguire comandi senza dover ogni volta ricordare i noiosi parametri per esportare le opzioni del proxy della rete del Politecnico di Milano.

Continua a leggere ‘Polimi shell runner (poliexec)’