This repository was archived by the owner on Feb 4, 2025. It is now read-only.
File tree 11 files changed +32
-64
lines changed
11 files changed +32
-64
lines changed Original file line number Diff line number Diff line change @@ -16,10 +16,8 @@ if [ -z "$*" ]; then
16
16
exit 1
17
17
fi
18
18
19
- for cmd in unzip unrar 7zr bunzip2 gunzip unxz tar pdftotext
20
- do
21
- if ! command -v $cmd > /dev/null 2>&1
22
- then
19
+ for cmd in unzip unrar 7zr bunzip2 gunzip unxz tar pdftotext; do
20
+ if ! command -v $cmd > /dev/null 2>&1 ; then
23
21
echo " Who am I? Why am I here? Am I on lilo? $cmd is missing!" >& 2
24
22
exit 1
25
23
fi
Original file line number Diff line number Diff line change 2
2
3
3
# unzip a brightspace-provided file, and split the index.html it contains over the subdirectories
4
4
5
- for cmd in unzip iconv
6
- do
7
- if ! command -v $cmd > /dev/null 2>&1
8
- then
5
+ for cmd in unzip iconv; do
6
+ if ! command -v $cmd > /dev/null 2>&1 ; then
9
7
echo " Who am I? Why am I here? Am I on lilo? $cmd is missing!" >& 2
10
8
exit 1
11
9
fi
Original file line number Diff line number Diff line change 14
14
# ./antifmt.sh
15
15
# ./groepjes.sh [ufsez][0-9]*
16
16
17
- for cmd in tar
18
- do
19
- if ! command -v $cmd > /dev/null 2>&1
20
- then
21
- echo " Who am I? Why am I here? Am I on lilo? $cmd is missing!" >& 2
22
- exit 1
23
- fi
24
- done
17
+ if ! command -v tar > /dev/null 2>&1 ; then
18
+ echo " Who am I? Why am I here? Am I on lilo? tar is missing!" >& 2
19
+ exit 1
20
+ fi
25
21
26
22
dir=" plag"
27
23
for arg in " $@ " ; do
Original file line number Diff line number Diff line change 1
1
#! /bin/bash
2
2
3
- for cmd in curl
4
- do
5
- if ! command -v $cmd > /dev/null 2>&1
6
- then
7
- echo " Who am I? Why am I here? Am I on lilo? $cmd is missing!" >& 2
8
- exit 1
9
- fi
10
- done
3
+ if ! command -v curl > /dev/null 2>&1 ; then
4
+ echo " Who am I? Why am I here? Am I on lilo? curl is missing!" >& 2
5
+ exit 1
6
+ fi
11
7
12
8
url=" http://www.thateden.co.uk/dirk/pred.php?ching1=$(( $RANDOM % 8 + 1 )) &ching2=$(( $RANDOM % 8 + 1 )) "
13
9
Original file line number Diff line number Diff line change 3
3
# this script adds email addresses and student ids to folder names extracted
4
4
# from Brightspace, given a CSV file obtained via 'Enter Grades'
5
5
6
- for cmd in curl
7
- do
8
- if ! command -v $cmd > /dev/null 2>&1
9
- then
10
- echo " Who am I? Why am I here? Am I on lilo? $cmd is missing!" >& 2
11
- exit 1
12
- fi
13
- done
6
+ if ! command -v curl > /dev/null 2>&1 ; then
7
+ echo " Who am I? Why am I here? Am I on lilo? curl is missing!" >& 2
8
+ exit 1
9
+ fi
14
10
15
11
if [ -z " $1 " ]; then
16
12
echo " Usage: addraddr.sh spreadsheet.csv [dir1] [dir2] ... [dirN]" 1>&2
Original file line number Diff line number Diff line change 3
3
# convert a flat directory into a jar file
4
4
# - when run without arguments, convert the current directory
5
5
# - when run with argument, convert every mentioned directory
6
- for cmd in jar javac
7
- do
8
- if ! command -v $cmd > /dev/null 2>&1
9
- then
6
+ for cmd in jar javac; do
7
+ if ! command -v $cmd > /dev/null 2>&1 ; then
10
8
echo " Who am I? Why am I here? Am I on lilo? $cmd is missing!" >& 2
11
9
exit 1
12
10
fi
Original file line number Diff line number Diff line change 2
2
3
3
# this sends the message in dir/file.txt to the addresses in dir/#address.txt
4
4
5
- for cmd in bsd-mailx iconv
6
- do
7
- if ! command -v $cmd > /dev/null 2>&1
8
- then
5
+ for cmd in bsd-mailx iconv; do
6
+ if ! command -v $cmd > /dev/null 2>&1 ; then
9
7
echo " Who am I? Why am I here? Am I on lilo? $cmd is missing!" >& 2
10
8
exit 1
11
9
fi
Original file line number Diff line number Diff line change 2
2
3
3
# Start grading in a randomly chosen, ungraded submission folder
4
4
5
- for cmd in base64 gunzip
6
- do
7
- if ! command -v $cmd > /dev/null 2>&1
8
- then
5
+ for cmd in base64 gunzip; do
6
+ if ! command -v $cmd > /dev/null 2>&1 ; then
9
7
echo " Who am I? Why am I here? Am I on lilo? $cmd is missing!" >& 2
10
8
exit 1
11
9
fi
Original file line number Diff line number Diff line change 1
1
#! /bin/sh
2
2
3
- for cmd in g++
4
- do
5
- if ! command -v $cmd > /dev/null 2>&1
6
- then
7
- echo " Who am I? Why am I here? Am I on lilo? $cmd is missing!" >& 2
8
- exit 1
9
- fi
10
- done
3
+ if ! command -v g++ > /dev/null 2>&1 ; then
4
+ echo " Who am I? Why am I here? Am I on lilo? g++ is missing!" >& 2
5
+ exit 1
6
+ fi
11
7
12
8
if [ -z " $1 " ]; then
13
9
echo " usage: trialc.sh dir" 1>&2
Original file line number Diff line number Diff line change @@ -22,10 +22,8 @@ SUBJECT="`whoami` could not be bothered to configure SUBJECT"
22
22
# this script takes care of the distribution of workload over
23
23
# all the teaching assistants, after downloading the zip
24
24
25
- for cmd in 7za mutt
26
- do
27
- if ! command -v $cmd > /dev/null 2>&1
28
- then
25
+ for cmd in 7za mutt; do
26
+ if ! command -v $cmd > /dev/null 2>&1 ; then
29
27
echo " Who am I? Why am I here? Am I on lilo? $cmd is missing!" >& 2
30
28
exit 1
31
29
fi
Original file line number Diff line number Diff line change 22
22
23
23
# configuration wizard for bb-scripts
24
24
25
- for cmd in curl
26
- do
27
- if ! command -v $cmd > /dev/null 2>&1
28
- then
29
- echo " Who am I? Why am I here? Am I on lilo? $cmd is missing!" >& 2
30
- exit 1
31
- fi
32
- done
25
+ if ! command -v curl > /dev/null 2>&1 ; then
26
+ echo " Who am I? Why am I here? Am I on lilo? curl is missing!" >& 2
27
+ exit 1
28
+ fi
33
29
34
30
set -e
35
31
cd " ${0%/* } "
You can’t perform that action at this time.
0 commit comments