From 5703caac19e58bd8edf4e09777138435f8371b00 Mon Sep 17 00:00:00 2001 From: Colin Date: Thu, 30 Nov 2023 10:59:49 +0000 Subject: [PATCH] remove unused scripts/ensure-perms script --- scripts/ensure-perms | 8 -------- 1 file changed, 8 deletions(-) delete mode 100755 scripts/ensure-perms diff --git a/scripts/ensure-perms b/scripts/ensure-perms deleted file mode 100755 index 321012d1..00000000 --- a/scripts/ensure-perms +++ /dev/null @@ -1,8 +0,0 @@ -#!/usr/bin/env bash - -# ensures perms on a newly-built distribution are good. -# usage: sudo ensure-perms /path/to/nix - -nix_path=$1 -chown root:root -R $nix_path -chown root:nixbld $nix_path/store