Better config for Git
This commit is contained in:
parent
801d0e15f9
commit
821b7451fc
1 changed files with 12 additions and 0 deletions
|
@ -9,10 +9,22 @@ if [ ! -f /data/gitit.conf ]; then
|
|||
sed -i 's|default-extension: page|default-extension: md|' /data/gitit.conf
|
||||
fi
|
||||
|
||||
# Configure GIT
|
||||
CUR="$(pwd)"
|
||||
cd /data/wikidata
|
||||
if [ ! -d /data/wikidata/.git ]; then
|
||||
git init
|
||||
fi
|
||||
git config diff.renames false
|
||||
git config --global user.email "admin@localhost"
|
||||
git config --global user.name "Admin From Localhost"
|
||||
|
||||
cd "$CUR"
|
||||
|
||||
if [ "$1" = 'gitit' ]; then
|
||||
exec gitit "$@"
|
||||
fi
|
||||
|
||||
|
||||
exec "$@"
|
||||
|
||||
|
|
Loading…
Reference in a new issue