diff options
author | rsiddharth <s@ricketyspace.net> | 2016-07-09 23:55:23 +0000 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2016-07-09 23:55:23 +0000 |
commit | 6ee0570945821353e30f625c53d5a34651359cfd (patch) | |
tree | 3f374d65005d1d94b6a26471e602d755c7cfb566 /examples/config | |
parent | 3bfc9f28d16302de3782bf259479abd86c8cc8d9 (diff) |
add `make config` mechanism.
`make config` will now install a sample configuration file at
`~/.config/git-difme/config`.
* Makefile (config, $(config_dir), $(config_file)): new targets.
* README.org (the config file): add sub section under `installing`
section.
* examples/config: add file; sample user config file.
Diffstat (limited to 'examples/config')
-rw-r--r-- | examples/config | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/examples/config b/examples/config new file mode 100644 index 0000000..f4aec4f --- /dev/null +++ b/examples/config @@ -0,0 +1,8 @@ +;; -*- mode: scheme; -*- +;; public domain. no rights reserved. + +(define (difme-repos) + (list '("/path/to/git/repo/foo" "M" "D" "?") + '("/path/to/git/repo/bar" "M") + '("/path/to/git/repo/baz" "M" "?") + '("/path/to/git/repo/frb"))) |