diff options
| author | Itamar <itamar8910@gmail.com> | 2020-09-10 22:24:25 +0300 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2020-09-15 21:43:29 +0200 |
| commit | e5ceec8621b081eea8bd061eab5c3fc3b0e784f6 (patch) | |
| tree | f202c8cbfa0929c38b6a26bb1d5afc746da40a0e /Ports/git | |
| parent | 82696078b027c78f480698cfa4f73a2de5052222 (diff) | |
| download | serenity-e5ceec8621b081eea8bd061eab5c3fc3b0e784f6.zip | |
Ports: Add default .gitconfig for Git port
This stops git from asking us to configure a username and email when we
try to commit.
Diffstat (limited to 'Ports/git')
| -rw-r--r-- | Ports/git/.gitignore | 1 | ||||
| -rw-r--r-- | Ports/git/default_gitconfig | 3 | ||||
| -rwxr-xr-x | Ports/git/package.sh | 5 |
3 files changed, 9 insertions, 0 deletions
diff --git a/Ports/git/.gitignore b/Ports/git/.gitignore new file mode 100644 index 0000000000..7e563d9345 --- /dev/null +++ b/Ports/git/.gitignore @@ -0,0 +1 @@ +!default_gitconfig diff --git a/Ports/git/default_gitconfig b/Ports/git/default_gitconfig new file mode 100644 index 0000000000..2eeb9a6e33 --- /dev/null +++ b/Ports/git/default_gitconfig @@ -0,0 +1,3 @@ +[user] + email = anon + name = anon diff --git a/Ports/git/package.sh b/Ports/git/package.sh index 2a98e4eb41..82bcc68b1b 100755 --- a/Ports/git/package.sh +++ b/Ports/git/package.sh @@ -11,6 +11,11 @@ build() { run make strip } +post_install() { + mkdir -p "$SERENITY_ROOT"/Build/Root/home/anon + cp "$workdir"/../default_gitconfig "$SERENITY_ROOT"/Build/Root/home/anon/.gitconfig +} + export NO_OPENSSL=1 export ac_cv_fread_reads_directories=no export ac_cv_snprintf_returns_bogus=no |