Add an initial 'make pkg-deb' and debian/ control directory

2025-06-17 00:22:01 +02:00
parent adf033318a
commit 82db92f344
8 changed files with 150 additions and 0 deletions
--- a/debian/prerm
+++ b/debian/prerm
@ -0,0 +1,22 @@
+#!/bin/bash
+
+set -e
+
+case "$1" in
+    remove|upgrade|deconfigure)
+        systemctl stop govpp-snmp-agentx.service || true
+        systemctl disable govpp-snmp-agentx.service || true
+        ;;
+    
+    failed-upgrade)
+        ;;
+    
+    *)
+        echo "prerm called with unknown argument \`$1'" >&2
+        exit 1
+        ;;
+esac
+
+#DEBHELPER#
+
+exit 0