init

2019-01-21 20:58:05 +01:00
parent 621681dd05
commit 08e159eb8e
10 changed files with 303 additions and 0 deletions
--- a/run_once.sh
+++ b/run_once.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+me="$(basename "$0")";
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
+running=$(ps h -C "$me" | grep -wv $$ | wc -l);
+[[ $running > 1 ]] && exit;
+slide $@