X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;ds=inline;f=withlock.sh;fp=withlock.sh;h=0000000000000000000000000000000000000000;hb=6473993b691c6280c4ad1d1d9a3b697eb0e05eb2;hp=980deb133c8997d4c64a726a682e9cbf89889619;hpb=5d1aa1fd3b6c8a003dd3789791a349f34a0b0c14;p=scripts.git
diff --git a/withlock.sh b/withlock.sh
deleted file mode 100755
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 . #
-# #
-# Written by and Copyright (C) Francois Fleuret #
-# Contact 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 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
-
-$*