diff options
author | Andrew Cady <d@jerkface.net> | 2023-05-28 17:21:17 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2023-05-28 17:21:17 -0400 |
commit | 07f5b33ffec4911e67ea718033a7c2506ee88dfe (patch) | |
tree | 4e9a1d60d2fe9f05d2a1e962d1c570c2abb4f22f | |
parent | ace88012251ad607c262dc3263ed7928dbeecc20 (diff) |
rename db -> db.fossil
if you have a fossil named bare 'db' then do 'ln -s db db.fossil' to
migrate.
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | Makefile | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -1,3 +1,4 @@ | |||
1 | /work/ | 1 | /work/ |
2 | /db | 2 | /db |
3 | /.fossil-remotes/ | 3 | /.fossil-remotes/ |
4 | /db.fossil | ||
@@ -1,5 +1,5 @@ | |||
1 | ifneq (0,$(shell id -u)) | 1 | ifneq (0,$(shell id -u)) |
2 | fossil_database = db | 2 | fossil_database = db.fossil |
3 | unitdir = "$${XDG_CONFIG_HOME:-$$HOME/.config}/systemd/user" | 3 | unitdir = "$${XDG_CONFIG_HOME:-$$HOME/.config}/systemd/user" |
4 | unit_instance_name != systemd-escape "$$(realpath "$(fossil_database)")" | 4 | unit_instance_name != systemd-escape "$$(realpath "$(fossil_database)")" |
5 | our_name = fossil-sync | 5 | our_name = fossil-sync |