File: generate-git-gui.sh

package info (click to toggle)
git 1%3A2.51.0-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 61,616 kB
  • sloc: ansic: 304,617; sh: 259,866; perl: 25,871; tcl: 21,754; makefile: 4,158; python: 3,442; javascript: 772; csh: 45
file content (29 lines) | stat: -rwxr-xr-x 605 bytes parent folder | download | duplicates (3)
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
26
27
28
29
#!/bin/sh

set -e

if test "$#" -ne 4
then
	echo >&2 "usage: $0 <INPUT> <OUTPUT> <BUILD_OPTIONS> <VERSION_FILE>"
	exit 1
fi

INPUT="$1"
OUTPUT="$2"
BUILD_OPTIONS="$3"
VERSION_FILE="$4"

. "${BUILD_OPTIONS}"
. "${VERSION_FILE}"

rm -f "$OUTPUT" "$OUTPUT+"
sed \
	-e "1s|#!.*/sh|#!$SHELL_PATH|" \
	-e "s|@@SHELL_PATH@@|$SHELL_PATH|" \
	-e "1,30s|^ exec wish | exec '$TCLTK_PATH' |" \
	-e "s|@@GITGUI_VERSION@@|$GITGUI_VERSION|g" \
	-e "s|@@GITGUI_RELATIVE@@|$GITGUI_RELATIVE|" \
	-e "${GITGUI_RELATIVE}s|@@GITGUI_LIBDIR@@|$GITGUI_LIBDIR|" \
	"$INPUT" >"$OUTPUT"+
chmod +x "$OUTPUT"+
mv "$OUTPUT"+ "$OUTPUT"