diff options
author | tv <tv@krebsco.de> | 2021-02-14 20:40:07 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2021-02-14 20:46:01 +0100 |
commit | 824e5f02a1b921d086b8f33f3dce16588ad51ac0 (patch) | |
tree | de6941a3254cb101d97d871e9ac6fcef6283936b /krebs/5pkgs/simple | |
parent | a29fddda2ca554e671bddd9f3ff7399d8ea9756b (diff) |
gitignore: init
Diffstat (limited to 'krebs/5pkgs/simple')
-rw-r--r-- | krebs/5pkgs/simple/gitignore.nix | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/krebs/5pkgs/simple/gitignore.nix b/krebs/5pkgs/simple/gitignore.nix new file mode 100644 index 000000000..b3c750a08 --- /dev/null +++ b/krebs/5pkgs/simple/gitignore.nix @@ -0,0 +1,46 @@ +{ pkgs }: + +/* gitignore - Filter for intentionally untracked lines or blocks of code + +This is a filter that allows specifying intentionally untracked lines and +blocks of code that Git should ignore. + +Example: + + int main(void) { + printf("I would never say derp.\n"); + //#gitignore-begin + printf("DERP!\n"); + //#gitignore-end + printf("DERP!\n"); //#gitignore + return 0; + } + +Installation: + + Define a filter, e.g. in ~/.config/git/config[1]: + + [filter "gitignore"] + clean = gitignore + smudge = cat + + Assing that filter to some paths, e.g. in ~/.config/git/attributes[2]: + + *.hs filter=gitignore + *.c filter=gitignore + ... + + [1]: For more information about defining filters see git-config(1). + [2]: For more information about assigning filters see gitattributes(5). +*/ + +pkgs.execBin "gitignore" { + filename = "${pkgs.gnused}/bin/sed"; + argv = [ + "gitignore" + /* sed */ '' + /#gitignore-begin/,/#gitignore-end/d + /#gitignore/d + '' + ]; +} |