diff options
| author | Joey Hess <joey@kodama.kitenet.net> | 2007-11-05 18:13:00 -0500 |
|---|---|---|
| committer | Joey Hess <joey@kodama.kitenet.net> | 2007-11-05 18:13:00 -0500 |
| commit | b42d7c03371d9f1dab89a8d7a3e5bb85e8774e14 (patch) | |
| tree | a9217c27267937b82069047b263d1fb34e3adc10 | |
| parent | e737d1795d0acbaba09412b3b969b33fc8956b85 (diff) | |
finishing touches etc
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | README | 1 | ||||
| -rwxr-xr-x | init.d/20git-init | 1 | ||||
| -rwxr-xr-x | pre-commit.d/10warn-empty-directory | 2 |
4 files changed, 5 insertions, 1 deletions
@@ -14,3 +14,5 @@ install: ln -sf /usr/lib/etckeeper/$$file $(PREFIX)/etc/etckeeper/$$file; \ done; \ done + + install -m 0644 -D apt.conf $(PREFIX)/etc/apt/apt.conf.d/05etckeeper @@ -74,6 +74,7 @@ the right files, and none of the wrong files. And you can edit the .gitignore and so forth. Once you're ready: git commit -m "initial checkin" + git gc # pack git repo to save a lot of space After this first checkin, you can use regular git commands to check in further changes: diff --git a/init.d/20git-init b/init.d/20git-init index 7bf1c89..69867c4 100755 --- a/init.d/20git-init +++ b/init.d/20git-init @@ -2,4 +2,5 @@ set -e if [ ! -e .git ]; then git-init + echo "$(hostname) /etc repository" > .git/description fi diff --git a/pre-commit.d/10warn-empty-directory b/pre-commit.d/10warn-empty-directory index 3f6cdaa..ef70b72 100755 --- a/pre-commit.d/10warn-empty-directory +++ b/pre-commit.d/10warn-empty-directory @@ -1,6 +1,6 @@ #!/bin/sh set -e -empty=$(find -type f -empty | grep -v /.git/) || true +empty=$(find -type d -empty | grep -v /.git/) || true if [ -n "$empty" ]; then echo "etckeeper warning: empty directories, not tracked by git:" >&2 echo "$empty" >&2 |