Primo esperimento con il comando sed
: mi serviva un sistema veloce per abilitare/disabilitare il proxy utilizzato dal sistema (ho trovato le informazioni qui).
Per disabilitare:
#!/bin/bash PROXY_FILE='/etc/sysconfig/proxy' sudo sed -i 's/^#PROXY_ENABLED="no"/PROXY_ENABLED="no"/' "$PROXY_FILE" sudo sed -i 's/^PROXY_ENABLED="yes"/#PROXY_ENABLED="yes"/' "$PROXY_FILE"
Per abilitare:
#!/bin/bash PROXY_FILE='/etc/sysconfig/proxy' sudo sed -i 's/^PROXY_ENABLED="no"/#PROXY_ENABLED="no"/' "$PROXY_FILE" sudo sed -i 's/^#PROXY_ENABLED="yes"/PROXY_ENABLED="yes"/' "$PROXY_FILE"
Imposti il proxy a livello di sistema piuttosto che per il singolo utente. Voluto? Hai uno script che per funzionare deve modificare un file di root.
Sì, tanto sulla macchina ci lavoro solamente io 😀
Non sono sicuro di poter impostare il proxy solo per il mio utente, appena ho un attimo di tempo cerco qualche info…