diff --git a/flake.nix b/flake.nix index 6d5dde8..38c7405 100644 --- a/flake.nix +++ b/flake.nix @@ -357,7 +357,6 @@ dashboard = pkgs.callPackage packages/dashboard {}; devanagari = pkgs.callPackage packages/devanagari {}; devour = pkgs.callPackage packages/devour.nix {}; - dirmir = pkgs.callPackage packages/dirmir.nix {}; dmenu-bluetooth = pkgs.callPackage packages/dmenu-bluetooth.nix {}; dmenu-scrot = pkgs.callPackage packages/dmenu-scrot.nix {}; dns-sledgehammer = pkgs.callPackage packages/dns-sledgehammer.nix {}; diff --git a/packages/dirmir.nix b/packages/dirmir.nix deleted file mode 100644 index c8745e2..0000000 --- a/packages/dirmir.nix +++ /dev/null @@ -1,24 +0,0 @@ -{writers}: -writers.writeDashBin "dirmir" '' - SOURCE="$1" - TARGET="$2" - - if [ ! -d "$SOURCE" ] || [ $# -ne 2 ]; then - echo >/dev/stderr "Usage: dirmir SOURCE TARGET" - exit 1 - fi - - if [ -e "$TARGET" ]; then - echo >/dev/stderr "$TARGET" already exists. Please use a different name. - exit 1 - fi - - find "$SOURCE" | while read -r entry; do - if [ -d "$entry" ]; then - mkdir -p "$TARGET/$entry" - else - # create a file with the same permissions as $entry - install -m "$(stat -c %a "$entry")" /dev/null "$TARGET/$entry" - fi - done -''