diff options
| author | Javier Jardón <jjardon@gnome.org> | 2017-11-26 23:39:48 +0000 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2017-12-12 15:58:23 +0000 |
| commit | 7df7f3b427739ff7d69da2ba218da0124822892c (patch) | |
| tree | 843c75e9bede53862ab101d6a7bcd1da15a33c55 /strata/core/bash.morph | |
| parent | 7aad5150f69da42b84994c353283db5daf8e967f (diff) | |
| download | definitions-7df7f3b427739ff7d69da2ba218da0124822892c.tar.gz | |
Remove all .morph files and files from the old format
Diffstat (limited to 'strata/core/bash.morph')
| -rw-r--r-- | strata/core/bash.morph | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/strata/core/bash.morph b/strata/core/bash.morph deleted file mode 100644 index 59c9e8b4..00000000 --- a/strata/core/bash.morph +++ /dev/null @@ -1,36 +0,0 @@ -name: bash -kind: chunk -build-system: autotools -configure-commands: -- | - export CFLAGS="${CFLAGS} -DSYS_BASHRC='\"/etc/bash.bashrc\"'"; - ./configure --prefix="$PREFIX" \ - --without-bash-malloc \ - --with-installed-readline \ - --enable-readline -post-install-commands: -- | - cat <<'EOF' >> bash.bashrc - # - # /etc/bash.bashrc - # - - # If not running interactively, don't do anything - [[ $- != *i* ]] && return - - # Configure prompt for different terminals - case ${TERM} in - xterm*|rxvt*|Eterm|aterm|kterm|gnome*) - PROMPT_COMMAND=${PROMPT_COMMAND:+$PROMPT_COMMAND; }'printf "\033]0;%s@%s:%s\007" "${USER}" "${HOSTNAME%%.*}" "${PWD/#$HOME/\~}"' - - ;; - screen) - PROMPT_COMMAND=${PROMPT_COMMAND:+$PROMPT_COMMAND; }'printf "\033_%s@%s:%s\033\\" "${USER}" "${HOSTNAME%%.*}" "${PWD/#$HOME/\~}"' - ;; - esac - - # Enable bash completion if present - [ -r /usr/share/bash-completion/bash_completion ] && . /usr/share/bash-completion/bash_completion - EOF -- mkdir -p "$DESTDIR"/etc -- install -m 644 bash.bashrc "$DESTDIR"/etc/bash.bashrc |