diff options
Diffstat (limited to 'PlugRemove.sh')
-rwxr-xr-x | PlugRemove.sh | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/PlugRemove.sh b/PlugRemove.sh deleted file mode 100755 index e8e0343..0000000 --- a/PlugRemove.sh +++ /dev/null @@ -1,35 +0,0 @@ -#!/bin/bash -#!/bin/bash -if [ "$PWD" != "$HOME/dotfiles" ] -then - echo "Must be run in $HOME/dotfiles" - exit 1 -fi - - -PLUG_PATH="vim/.vim/pack/$USER/start/" -ARGS=0 -while getopts o opt; do - ((ARGS++)) - - if [ "$opt" == "o" ] - then - PLUG_PATH="vim/.vim/pack/$USER/opt/" - fi - if [ "$opt" == "h" ] - then - nroff .PlugHelp.tr - exit 0 - fi -done -((ARGS++)) -NAME="${!ARGS}" -FILENAME="$PLUG_PATH$NAME" - -git submodule deinit -f $FILENAME -echo -git rm -f $FILENAME -echo -rm -rfv ".git/modules/$FILENAME" - -git commit -m"Removed vim plugin: $NAME" |