📄 jetty6.prerm
字号:
#! /bin/sh# prerm script for jetty## see: dh_installdeb(1)set -e# summary of how this script can be called:# * <prerm> `remove'# * <old-prerm> `upgrade' <new-version># * <new-prerm> `failed-upgrade' <old-version># * <conflictor's-prerm> `remove' `in-favour' <package> <new-version># * <deconfigured's-prerm> `deconfigure' `in-favour'# <package-being-installed> <version> `removing'# <conflicting-package> <version># for details, see http://www.debian.org/doc/debian-policy/ or# the debian-policy packagecase "$1" in remove|upgrade|deconfigure) ;; failed-upgrade) ;; *) echo "prerm called with unknown argument \`$1'" >&2 exit 1 ;;esac# dh_installdeb will replace this with shell code automatically# generated by other debhelper scripts.#DEBHELPER#exit 0
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -