phyks, le 29/08/2014 à 22:42
Un moyen simple pour éditer localement un fichier, et synchroniser sur un serveur sans y penser. On récupère les fichiers localement, puis on lance `remote_edit()` dans le dossier en question.

```
function remote_edit() {
   if [ "$#" -eq 2 ]
   then
       while inotifywait -r $1/*; do
           rsync -avz $1 $2
       done
   else
       echo "Usage: remote_edit directory target"
   fi
}
```

(astuce via [Élie](http://exppad.com/))
(Permalink)

Fylhan\'s links lounge, le 01/09/2014 à 12:49
(Permalink)