Cross Reference: postinst
xref: /hets/utils/debian/auto-package/debian-common/postinst
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
206a53a0c9409cec755494271d771e8b38b2dfbbcmaeder#!/bin/bash
1e3d9c289b9629347d8525f1c87bf9ae631c97c1cmaederset -e
b95472e52d623ff18295b2430d555f82c1a4051acmaeder
1e3d9c289b9629347d8525f1c87bf9ae631c97c1cmaederversion=`isabelle version 2>/dev/null || exit 0`
b95472e52d623ff18295b2430d555f82c1a4051acmaeder
206a53a0c9409cec755494271d771e8b38b2dfbbcmaederif [[ "$version" == *2014 ]]; then
b95472e52d623ff18295b2430d555f82c1a4051acmaeder echo "you are using $version"
206a53a0c9409cec755494271d771e8b38b2dfbbcmaederelif [[ "$version" == *2012 ]]; then
b95472e52d623ff18295b2430d555f82c1a4051acmaeder echo "uninstall your old Isabelle2012 and install Isabelle2014 by"
b95472e52d623ff18295b2430d555f82c1a4051acmaeder echo " sudo apt-get remove isabelle"
b95472e52d623ff18295b2430d555f82c1a4051acmaeder echo " sudo apt-get install isabelle-installer"
206a53a0c9409cec755494271d771e8b38b2dfbbcmaederelse
b95472e52d623ff18295b2430d555f82c1a4051acmaeder echo "possibly install Isabelle2014 by"
b95472e52d623ff18295b2430d555f82c1a4051acmaeder echo " sudo apt-get install isabelle-installer"
b95472e52d623ff18295b2430d555f82c1a4051acmaederfi
1e3d9c289b9629347d8525f1c87bf9ae631c97c1cmaeder#DEBHELPER#

Indexes created Tue Jul 24 14:28:13 CEST 2018