Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 0751d55

Browse files
committed
generalize a bit; no need to mention my user id directly
1 parent 2a510ce commit 0751d55

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

Doc/tools/update-docs.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
# and removes it when done.
88

99
if [ -z "$HOME" ] ; then
10-
HOME=`grep fdrake /etc/passwd | sed 's|^.*:\([^:]*\):[^:]*$|\1|'`
10+
HOME=`grep "$LOGNAME" /etc/passwd | sed 's|^.*:\([^:]*\):[^:]*$|\1|'`
1111
export HOME
1212
fi
1313

0 commit comments

Comments
 (0)