Tools/rename.fsx: prevent non-sudo crash

nblockchain · Jun 10, 2023 · 9ec0efc · 9ec0efc
1 parent cd62ebe
commit 9ec0efc
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/Tools/rename.fsx b/Tools/rename.fsx
@@ -139,5 +139,12 @@ let rec Rename(dir: DirectoryInfo) : unit =
     for file in files do
         CheckName file.Name file.FullName
 
-Rename currentDir
+try
+    Rename currentDir
+with
+| :? UnauthorizedAccessException ->
+    Console.Error.WriteLine
+        "Encountered an access-denied error, did you run with root/Administrator privileges?"
+
+    exit 3
 #endif