diff options
author | Severin Glöckner | 2021-03-15 16:44:39 +0100 |
---|---|---|
committer | Severin Glöckner | 2021-03-16 03:27:07 +0100 |
commit | 063114d70c674b08b410d59af4c58376a9f2a6cd (patch) | |
tree | d09df527504917a4822c090a1b15aa394ac6c985 /xxe.install | |
parent | c54fd531faa7fac8cec286b3bc9e4da0a0989178 (diff) | |
download | aur-063114d70c674b08b410d59af4c58376a9f2a6cd.tar.gz |
v9.5 + packaging changes
- use /usr/share/java instead of /opt
- trimmed down launch scripts
- place launch scripts in /usr/bin instead of symlinking them
- add man page for xmltool
- add dev docs
- store docs & demos in /usr/share/doc/xxe
Diffstat (limited to 'xxe.install')
-rw-r--r-- | xxe.install | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/xxe.install b/xxe.install index fff0d9f7040c..f8fcc5bad504 100644 --- a/xxe.install +++ b/xxe.install @@ -1,3 +1,5 @@ +#!/hint/bash + post_install() { echo "" echo "" @@ -9,17 +11,25 @@ post_install() { echo ">>> Localisation files may be available from Options -> Install Add-ons" echo ">>> UI Scaling can be activated from Options -> Preferences -> General" echo "" - echo "" + manual } post_upgrade() { + manual fix_scaling=$(vercmp $2 9.4.1-2 ) if [[ $fix_scaling -le 0 ]] then echo "" - echo ">>> The _JAVA_OPTIONS variable is now set at launch to improve the UI-scaling." + echo ">>> Options to improve the UI-scaling are now set at launch." echo ">>> You may want to reconsider enabliung UI-scaling if you had issues." echo ">>> The setting is at Options -> Preferences -> General" echo "" fi } + +manual() { + echo "" + echo "A user manual for XXE is at" + echo "/usr/share/doc/xxe/doc/index.html" + echo "" +} |