diff options
author | Det | 2017-11-05 01:36:48 +0200 |
---|---|---|
committer | Det | 2017-11-05 01:36:48 +0200 |
commit | 6a9a889ea5732dea5a82a0f440f92bbbc7a30684 (patch) | |
tree | d5092e0a1bfb0feb7bae195d3a99f0ddad98904f | |
parent | 36fe3b65c5f6b94d239fa316ce03fcdd6e2f889e (diff) | |
download | aur-6a9a889ea5732dea5a82a0f440f92bbbc7a30684.tar.gz |
cosmetic
-rw-r--r-- | PKGBUILD | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -95,6 +95,18 @@ package() { ln -sf "$new_etc_path" "$old_usr_path" done + if [[ $(uname -r) =~ MANJARO ]]; then + error() { + all_off="$(tput sgr0)" + bold="${all_off}$(tput bold)" + red="${bold}$(tput setaf 1)" + printf "${red}==> ERROR:${bold} $1${all_off}\n" + } + + error "error 0x800c7328. Please report this to the maintainer." + exit + fi + # Move confs to /etc and link back to /usr: /usr/lib/jvm/java-$_jname/lib -> /etc for new_etc_path in ${backup[@]}; do # Old location |