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.
Archivio dell'etichetta 'script'
Questo script consente di mantenere il proprio stato di Twitter aggiornato con le informazioni in tempo reale sulla musica ascoltata con amaroK. Lo script è rilasciato in licenza Creative Commons Attribution – Noncommercial – Share Alike 3.0 Unported.
