From 38fc026b7c9bf6e8c60e52827bcee3ae93e72361 Mon Sep 17 00:00:00 2001 From: Gardouille Date: Tue, 12 Dec 2017 09:31:55 +0100 Subject: [PATCH] Rename depot to repos. --- qutebrowser-git | 2 +- synchro_wiki.sh | 2 +- update_repo_git.sh | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/qutebrowser-git b/qutebrowser-git index 429e911..6f9fba3 100755 --- a/qutebrowser-git +++ b/qutebrowser-git @@ -1,2 +1,2 @@ #!/bin/sh -~/depot/qutebrowser/.venv/bin/python3 -m qutebrowser --backend webengine "$@" +~/repos/qutebrowser/.venv/bin/python3 -m qutebrowser --backend webengine "$@" diff --git a/synchro_wiki.sh b/synchro_wiki.sh index 6880ffa..2187e6e 100755 --- a/synchro_wiki.sh +++ b/synchro_wiki.sh @@ -13,7 +13,7 @@ user="darker" ping -c 2 "${serveur}" > /dev/null if [ $? -eq 0 ]; then - rsync -az "${user}"@"${serveur}":/var/www/dokuwiki /home/"${user}"/depot/ > /dev/null 2> /dev/null + rsync -az "${user}"@"${serveur}":/var/www/dokuwiki /home/"${user}"/repos/ > /dev/null 2> /dev/null if [ $? -eq 0 ]; then echo "Synchro du wiki ${serveur} réussie" else diff --git a/update_repo_git.sh b/update_repo_git.sh index aa8b9b4..c774376 100755 --- a/update_repo_git.sh +++ b/update_repo_git.sh @@ -18,7 +18,7 @@ update() { } # Update Puppet IPR repo -update "git1.ipr.univ-rennes1.fr" "/home/jegardai/depot/ipr_puppet" +update "git1.ipr.univ-rennes1.fr" "/home/jegardai/repos/ipr_puppet" # Update Gardouille www data (dokuwiki, shaarli, respawn, ...) -update "www.google.fr" "/home/jegardai/depot/gardouille_www" +update "www.google.fr" "/home/jegardai/repos/gardouille_www"