Parcourir la source

Fix install

pull/1/head
Jérôme Deuchnord il y a 6 ans
Parent
révision
497e17c4e8
Aucune clé connue n'a été trouvée dans la base pour cette signature ID de la clé GPG: 1934652EA16ECB3B
1 fichiers modifiés avec 11 ajouts et 11 suppressions
  1. +11
    -11
      scripts/install

+ 11
- 11
scripts/install Voir le fichier

@@ -1,19 +1,19 @@
#!/bin/bash

if [ -f "${HOME}/.vimrc" ]; then
#mv ${HOME}/.vimrc $HOME .vimrc.old
echo "There was already a .vimrc file, renamed to .vimrc.old"
if [ -f "$HOME/.vimrc" ]; then
mv $HOME/.vimrc $HOME/vimrc.old
echo "There was already a .vimrc file, renamed to vimrc.old"
fi
if [ -d "${HOME}/.vim" ]; then
#mv ${HOME}/.vim ${HOME} .vim.old
echo "There was already a .vim folder, renamed to .vim.old"
if [ -d "$HOME/.vim" ]; then
mv $HOME/.vim $HOME/vim.old
echo "There was already a .vim folder, renamed to vim.old"
fi
if [ -f "${HOME}/.gvimrc" ]; then
mv ${HOME}/.gvimrc $HOME .gvimrc.old
echo "There was already a .gvimrc file, renamed to .gvimrc.old"
if [ -f "$HOME/.gvimrc" ]; then
mv $HOME/.gvimrc $HOME/gvimrc.old
echo "There was already a .gvimrc file, renamed to gvimrc.old"
fi

#cp vim $HOME/.vim
#cp vimrc $HOME/.vimrc
cp -r vim $HOME/.vim
cp vimrc $HOME/.vimrc
cp gvimrc $HOME/.gvimrc


Chargement…
Annuler
Enregistrer