diff options
| author |   Theo Chatzimichos <tampakrap@gentoo.org> | 2013-08-09 20:57:06 +0200 |
|---|---|---|
| committer | Theo Chatzimichos <tampakrap@gentoo.org> | 2013-08-09 20:57:06 +0200 |
| commit | 4cec4c92d7f58f7dbde4006ff3cd802316b7c0eb (patch) | |
| tree | 1824d18f7b1a6d2e6ca97bbee091a37f001cb842 /bin/trigger_tdaemon_run | |
| parent | Merge pull request #37 from mgorny/bugfixes (diff) | |
| download | identity.gentoo.org-4cec4c92d7f58f7dbde4006ff3cd802316b7c0eb.tar.gz identity.gentoo.org-4cec4c92d7f58f7dbde4006ff3cd802316b7c0eb.tar.bz2 identity.gentoo.org-4cec4c92d7f58f7dbde4006ff3cd802316b7c0eb.zip | |
addition of helper bash scripts for development
Diffstat (limited to 'bin/trigger_tdaemon_run')
| -rwxr-xr-x | bin/trigger_tdaemon_run | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bin/trigger_tdaemon_run b/bin/trigger_tdaemon_run new file mode 100755 index 0000000..a04d9b6 --- /dev/null +++ b/bin/trigger_tdaemon_run @@ -0,0 +1,7 @@ +#!/bin/bash +DUMMY="bin/.daemon_run_dummy" +if [[ -f $DUMMY ]]; then + rm $DUMMY +else + touch $DUMMY +fi |