summarylogtreecommitdiffstats
path: root/xxe.install
diff options
context:
space:
mode:
authorSeverin Glöckner2021-03-15 16:44:39 +0100
committerSeverin Glöckner2021-03-16 03:27:07 +0100
commit063114d70c674b08b410d59af4c58376a9f2a6cd (patch)
treed09df527504917a4822c090a1b15aa394ac6c985 /xxe.install
parentc54fd531faa7fac8cec286b3bc9e4da0a0989178 (diff)
downloadaur-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.install14
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 ""
+}