From 237a7d3a67e1e5e254f5614bdf9f65d3dfcf1c01 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Wed, 16 May 2001 10:19:11 +0000
Subject: [PATCH] Use /bin/bash instead of /bin/sh in bang lines.

---
 bin/ev           |  1 +
 bin/mo-get-users | 15 +++++++++++++++
 bin/mo-grab      |  4 ++--
 bin/mo-install   |  2 +-
 4 files changed, 19 insertions(+), 3 deletions(-)
 create mode 100755 bin/mo-get-users

diff --git a/bin/ev b/bin/ev
index 0ddd6d3..018f237 100755
--- a/bin/ev
+++ b/bin/ev
@@ -1,3 +1,4 @@
+#!/bin/bash
 # The Evaluator -- Master Control Script
 # (c) 2001 Martin Mares <mj@ucw.cz>
 
diff --git a/bin/mo-get-users b/bin/mo-get-users
new file mode 100755
index 0000000..e8a3d2c
--- /dev/null
+++ b/bin/mo-get-users
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+if [ "$1" = --help ] ; then
+	echo "Usage: mo-get-users [--full]"
+fi
+[ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; }
+set -e
+. config
+
+if [ "$1" = --full ] ; then
+	FORM='$1,"\t",$5'
+else
+	FORM='$1'
+fi
+awk -F: </etc/passwd "{ gsub(\",.*\",\"\",\$5); if (\$3 >= $CT_UID_MIN && \$3 <= $CT_UID_MAX) print $FORM; }"
diff --git a/bin/mo-grab b/bin/mo-grab
index 87d0804..ef5a44a 100755
--- a/bin/mo-grab
+++ b/bin/mo-grab
@@ -1,11 +1,11 @@
-#!/bin/sh
+#!/bin/bash
 
 [ -n "$1" ] || { echo "Usage: mo-grab <tasks>" ; exit 1 ; }
 [ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; }
 set -e
 . config
 
-for user in `awk -F: </etc/passwd '{ if ($3 >= 21000 && $3 < 30000) print $1; }'` ; do
+for user in `bin/mo-get-users` ; do
 	echo -n "$user:"
 	H=`eval echo ~$user`/.submit
 	if [ -d $H ] ; then
diff --git a/bin/mo-install b/bin/mo-install
index 60b4a0a..8fbb729 100755
--- a/bin/mo-install
+++ b/bin/mo-install
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 [ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; }
 set -e
-- 
2.39.2