ajenti/ajenti.install

   1 post_install() {
   2         post_upgrade
   3         print_info
   4 }
   5
   6 post_upgrade() {
   7         clean_plugins
   8         ajenti-pkg upgrade
   9 }
  10
  11 pre_remove() {
  12         rc.d stop ajenti || return 1
  13 }
  14
  15 post_remove() {
  16         clean_ajenti
  17 }
  18
  19 clean_plugins() {
  20         rm -rf /var/lib/ajenti/plugins/*
  21 }
  22
  23 clean_ajenti() {
  24         rm -rf /var/lib/ajenti
  25 }
  26
  27 print_info() {
  28         /bin/cat << EOF
  29 ==> Run "rc.d start ajenti" to start Ajenti daemon
  30 ==> Open http://127.0.0.1:8000/ to setup and use Ajenti
  31 EOF
  32 }