Move directories correctly

AlexDaniel · AlexDaniel · commit 76ff3a5607e4 · 2018-01-26T01:18:47.000+02:00
It seems that this is the only way right now?
diff --git a/bin/Reportable.p6 b/bin/Reportable.p6
@@ -109,7 +109,9 @@ sub snapshot($msg?) {
         mkdir “$temp-folder/RT”;
         run ‘maintenance/pull-rt’, “$temp-folder/RT”, |$CONFIG<reportable><RT><user pass>;
 
-        rename $temp-folder, $dir.add: $datetime;
+        # .move does not work with directories and .rename does not
+        # work across devices, so just run ‘mv’
+        run ‘mv’, ‘--’, $temp-folder, $dir.add: $datetime;
         True
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -109,7 +109,9 @@ sub snapshot($msg?) {`
`109`	`109`	`mkdir “$temp-folder/RT”;`
`110`	`110`	`run ‘maintenance/pull-rt’, “$temp-folder/RT”, \|$CONFIG<reportable><RT><user pass>;`
`111`	`111`
`112`		`- rename $temp-folder, $dir.add: $datetime;`
	`112`	`+ # .move does not work with directories and .rename does not`
	`113`	`+ # work across devices, so just run ‘mv’`
	`114`	`+ run ‘mv’, ‘--’, $temp-folder, $dir.add: $datetime;`
`113`	`115`	`True`
`114`	`116`	`}`
`115`	`117`	`}`