File: generate_unitfiles.sh

package info (click to toggle)
eprover 2.6%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 21,288 kB
  • sloc: ansic: 331,111; csh: 12,026; python: 10,178; awk: 5,825; makefile: 461; sh: 389
file content (25 lines) | stat: -rwxr-xr-x 694 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#!/bin/sh

if [ "$2" ]; then
    basefile=`basename $2 _K01_F2`	
    if test -f "${basefile}_K01_F2"; then    
	echo "Base file exists"
    else
	echo "Base file does not have the expected name"
	exit 1
    fi
    for line in `grep -v "#" $1 | sed -e 's/  */,/g'` ; do
        appendix=`echo $line|cut -d, -f1`
	argument=`echo $line|sed -e's/,/ /g'|cut -d' ' -f2-`
	file=${basefile}_$appendix
	if test -f "$file"; then
	    echo "File $file exists and left unchanged";
	else
	    echo Generating $file
	    sed -e "/Arguments: /s/Arguments: /Arguments: $argument /" -e"/Logfile:/s/K01_F2/$appendix/" $2 >$file
	fi
    done
else
    echo "Usage: generate_unitfiles.sh <key_file> <basefile>"
fi