From 21960a2c958fd0894f33c7adff680dbf30bbae72 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kier=C3=A1n=20Meinhardt?= Date: Sat, 13 Dec 2025 22:49:29 +0100 Subject: [PATCH] dirmir: remove --- flake.nix | 1 - packages/dirmir.nix | 24 ------------------------ 2 files changed, 25 deletions(-) delete mode 100644 packages/dirmir.nix 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 -''