From a55cffa8b3cbc02e2b021ed25e67203d337c36bb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Sun, 12 Aug 2018 18:37:31 +0200 Subject: Move some definitions around and add --desktop option --- install | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) (limited to 'install') diff --git a/install b/install index 55d3cfd..422eaf0 100755 --- a/install +++ b/install @@ -6,6 +6,7 @@ I_PREFIX=/ U_BASE=true U_BASH=false U_ZSH=false +U_DESKTOP=false while [ $# -gt 0 ]; do case "$1" in @@ -15,12 +16,14 @@ while [ $# -gt 0 ]; do echo "Options:" echo " -h, --help" echo " Print this help text." + echo " -d, --desktop" + echo " Install desktop specific configuration extensions for shellrc" echo " -b, --bash" echo " Install bash configuration" echo " -z, --zsh" echo " Install zsh configuration" echo " --no-base" - echo " Do not install base only bash or zsh is installed" + echo " Do not install base only bash or zsh or desktop is installed" echo " --prefix PATH" echo " Install prefix (in default set to /)" exit 0 @@ -34,6 +37,9 @@ while [ $# -gt 0 ]; do --no-base) U_BASE=false ;; + -d|--desktop) + U_DESKTOP=true + ;; --prefix) shift I_PREFIX="$1" @@ -48,8 +54,13 @@ done # Install shellrc if $U_BASE; then - mkdir -p "$I_PREFIX/etc" - cp -r shellrc.d "$I_PREFIX/etc/shellrc.d" + mkdir -p "$I_PREFIX/etc/shellrc.d" + cp -r shellrc.d/. "$I_PREFIX/etc/shellrc.d" +fi + +if $U_DESKTOP; then + mkdir -p "$I_PREFIX/etc/shellrc.d" + cp -r shellrc.d-desktop/. "$I_PREFIX/etc/shellrc.d" fi if $U_BASH; then -- cgit v1.2.3