Removed lame scripts.

[scripts.git] / withlock.sh

diff --git a/withlock.sh b/withlock.sh
deleted file mode 100755 (executable)
index 980deb1..0000000
--- a/withlock.sh
+++ /dev/null
@@ -1,41 +0,0 @@
-#!/bin/bash
-
-#########################################################################
-# This program is free software: you can redistribute it and/or modify  #
-# it under the terms of the version 3 of the GNU General Public License #
-# as published by the Free Software Foundation.                         #
-#                                                                       #
-# This program is distributed in the hope that it will be useful, but   #
-# WITHOUT ANY WARRANTY; without even the implied warranty of            #
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU      #
-# General Public License for more details.                              #
-#                                                                       #
-# You should have received a copy of the GNU General Public License     #
-# along with this program. If not, see <http://www.gnu.org/licenses/>.  #
-#                                                                       #
-# Written by and Copyright (C) Francois Fleuret                         #
-# Contact <francois.fleuret@idiap.ch> for comments & bug reports        #
-#########################################################################
-
-# This command allows to call another command with a lockfile to avoid
-# concurrent executions for the same user.
-
-set -e
-
-if [[ ! $1 ]]; then
-    echo "withlock.sh <command> [command args]"
-    exit 1
-fi
-
-LOCKFILE=/tmp/lock$(which $1 | sed -e "s:/:-:g").${USER}
-
-(set -C && : > ${LOCKFILE}) 2> /dev/null
-
-if [ $? != "0" ]; then
-    echo "Lockfile ${LOCKFILE} exists." >&2
-    exit 1
-fi
-
-trap 'rm ${LOCKFILE}' EXIT
-
-$*