chore: copy files

2026-05-25 15:00:33 +03:00
parent cc433f50f0
commit e7f8b60115
7 changed files with 366 additions and 6 deletions
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+PIPE_PATH=$1
+
+if [ "${PIPE_PATH}" == "" ]; then
+    echo "There is no defined path to pipe"
+
+    exit 1
+fi
+
+echo -n sysdig_stop > ${PIPE_PATH}
+cat ${PIPE_PATH}
+echo -n kill > ${PIPE_PATH}
+rm ${PIPE_PATH}
+
+if [ $? -ne 0 ]; then
+    echo "Can't remove pipe"
+
+    exit 1
+fi