ref: 989dbedde74719cbb6c2d85316325b7db7621118
parent: 974c44891701926128d7bff0710c75fd14a931d9
author: kvik <[email protected]>
date: Sun Jun 14 19:19:21 EDT 2020
path: exit with error if outside /x/something path
--- a/path
+++ b/path
@@ -10,6 +10,8 @@
if not
wd=`{pwd}
wd=`{cleanname $wd}
+if(! ~ $wd /x/*)
+ exit 'invalid path'
for(arg){
switch($arg){
case -P