
| Current Path : /var/lib/dpkg/info/ |
Linux ift1.ift-informatik.de 5.4.0-216-generic #236-Ubuntu SMP Fri Apr 11 19:53:21 UTC 2025 x86_64 |
| Current File : /var/lib/dpkg/info/gap-core.postinst |
#!/bin/sh
set -e
case "$1" in
triggered)
# This is triggered by any installation of a GAP file
if [ -e /var/lib/gap/workspace.gz ]; then
update-gap-workspace update || echo "Cannot update GAP workspace"
fi
exit 0
;;
esac
if [ -e /var/lib/gap/workspace.gz ]; then
update-gap-workspace update || echo "Cannot update GAP workspace"
fi
# Automatically added by dh_installmenu/12.2.3ubuntu1
if [ "$1" = "configure" ] && [ -x "`which update-menus 2>/dev/null`" ]; then
update-menus
fi
# End automatically added section