gitignore: emigrate

1 files changed, 0 insertions, 42 deletions

diff --git a/krebs/5pkgs/simple/gitignore.nix b/krebs/5pkgs/simple/gitignore.nix
deleted file mode 100644
index 50c8d6190..000000000
--- a/krebs/5pkgs/simple/gitignore.nix
+++ /dev/null
@@ -1,42 +0,0 @@
-{ pkgs, writeDashBin }:
-
-/* 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).
-*/
-
-writeDashBin "gitignore" ''
-  exec ${pkgs.gnused}/bin/sed '
-    /#gitignore-begin/,/#gitignore-end/d
-    /#gitignore/d
-  '
-''