dot

packages and services management
Log | Files | Refs | README

commit 8a30bb7981b1d1426926fd6c849b77282b13cd1f
parent 2bef5c9acd33487f1ca4e5dd02ad670b51e63f2d
Author: Josuah Demangeon <josuah.demangeon@gandi.net>
Date:   Sat, 19 Aug 2017 12:02:35 +0200

setup.sh: removed deleted repos on remote

Diffstat:
Msetup.sh | 9+++------
Mvim/.vimrc | 1+
2 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/setup.sh b/setup.sh @@ -26,23 +26,20 @@ git clone --bare $HOST/puissance-4.git "$HOME/srv/git/puissance-4.git" git clone --bare $HOST/serve.git "$HOME/srv/git/serve.git" git clone --bare $HOST/shannon.git "$HOME/srv/git/shannon.git" -git clone "$HOME/srv/http.git" "$HOME/srv/http" - -mkdir -p "$HOME/opt" +git clone "$HOME/srv/git/http.git" "$HOME/srv/http" mkdir -p "$HOME/src" git clone "$HOME/srv/git/alphabet.git" "$HOME/src/alphabet" -git clone "$HOME/srv/git/build.git" "$HOME/src/build" git clone "$HOME/srv/git/cgr.git" "$HOME/src/cgr" git clone "$HOME/srv/git/drawille.git" "$HOME/src/drawille" -git clone "$HOME/srv/git/edna.git" "$HOME/src/edna" git clone "$HOME/srv/git/iode.git" "$HOME/src/iode" git clone "$HOME/srv/git/iomenu.git" "$HOME/src/iomenu" git clone "$HOME/srv/git/miniwi.git" "$HOME/src/miniwi" git clone "$HOME/srv/git/serve.git" "$HOME/src/serve" +mkdir -p "$HOME/opt" + mkdir -p "$HOME/data/image" mkdir -p "$HOME/data/music" mkdir -p "$HOME/data/video" git clone "$HOME/srv/git/notes.git" "$HOME/data/notes" - diff --git a/vim/.vimrc b/vim/.vimrc @@ -1,3 +1,4 @@ syntax off set listchars=tab:\|\ ,trail:%,extends:>,precedes:<,nbsp:_ set list +set scrolloff=3