diff options
author | Jaka Kranjc | 2008-08-22 18:44:38 +0200 |
---|---|---|
committer | Jaka Kranjc | 2008-08-22 18:46:27 +0200 |
commit | e538fdc18ac933b3e0e6ce336f304da919801282 (patch) | |
tree | 2c7725e0d27aa90b50fa25a37e46af19373ca791 /FUNCTIONS | |
parent | c5b8b2c78e890c0e8f28a62b11d834f5a3117b00 (diff) |
FUNCTIONS: made default_grimoire_post_install a noop if staging is off
Diffstat (limited to 'FUNCTIONS')
-rwxr-xr-x | FUNCTIONS | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -7,7 +7,10 @@ #--------------------------------------------------------------------- function default_grimoire_post_install () { real_default_sorcery_post_install && # currently a no-op - pushd TRANSL &> /dev/null + if [[ $STAGED_INSTALL == off ]]; then + return 0 + fi && + pushd TRANSL &> /dev/null && if [[ -d usr/man ]]; then echo Fixing bad install path: /usr/man && mv -v usr/man usr/share |