Éditer localement des fichiers et synchro auto sur un serveur
vendredi 29 août 2014 à 22:42phyks, 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)
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)