Add installation script

- ~/.config/shell/init_dofiles.sh "installs" the provided dotfiles
  when sourced in an interactive shell
- see the README.md for instructions

.config/shell/init_dotfiles.sh

@@ -0,0 +1,46 @@
+# This file initializes the ~/.dotfiles as a bare repository
+
+
+_command_exists() {
+    command -v "$1" 1>/dev/null 2>&1
+}
+
+
+cd $HOME
+
+
+# Get the latest ~/.dotfiles, possibly replacing the old ones
+rm -rf "$HOME/.dotfiles" >/dev/null
+git clone --bare https://git.webartifex.biz/alexander/dotfiles.git "$HOME/.dotfiles"
+
+# Distribute the dotfiles in $HOME
+git --git-dir=$HOME/.dotfiles/ --work-tree=$HOME checkout --force
+git --git-dir=$HOME/.dotfiles/ --work-tree=$HOME config --local status.showUntrackedFiles no
+
+
+if _command_exists zsh; then
+
+    # (Re-)Install oh-my-zsh
+    export ZSH="$HOME/.oh-my-zsh"
+    rm -rf $ZSH >/dev/null
+    # Let's NOT use the main repository but our personal fork
+    git clone --origin fork --branch forked https://git.webartifex.biz/alexander/oh-my-zsh.git $ZSH
+    cd $ZSH
+    git remote add origin https://github.com/ohmyzsh/ohmyzsh.git
+    cd $HOME
+
+    # (Re-)Install zplug
+    export ZPLUG_HOME="$HOME/.zplug"
+    rm -rf $ZPLUG_HOME >/dev/null
+    git clone https://github.com/zplug/zplug $ZPLUG_HOME
+
+    # Set up all the zplug plugins (-i so that the new ~/.zshrc is sourced)
+    zsh -i -c "zplug install"
+
+fi
+
+
+echo
+echo "Probably it's a good idea to restart the shell"
+echo "Make sure to start bash or zsh as a login shell the next time"
+echo