Rename depot to repos.

This commit is contained in:
Jeremy Gardais 2017-12-12 09:31:55 +01:00
parent 8677313d12
commit 38fc026b7c
3 changed files with 4 additions and 4 deletions

View File

@ -1,2 +1,2 @@
#!/bin/sh #!/bin/sh
~/depot/qutebrowser/.venv/bin/python3 -m qutebrowser --backend webengine "$@" ~/repos/qutebrowser/.venv/bin/python3 -m qutebrowser --backend webengine "$@"

View File

@ -13,7 +13,7 @@ user="darker"
ping -c 2 "${serveur}" > /dev/null ping -c 2 "${serveur}" > /dev/null
if [ $? -eq 0 ]; then 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 if [ $? -eq 0 ]; then
echo "Synchro du wiki ${serveur} réussie" echo "Synchro du wiki ${serveur} réussie"
else else

View File

@ -18,7 +18,7 @@ update() {
} }
# Update Puppet IPR repo # 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 Gardouille www data (dokuwiki, shaarli, respawn, ...)
update "www.google.fr" "/home/jegardai/depot/gardouille_www" update "www.google.fr" "/home/jegardai/repos/gardouille_www"