let regfile_modifiable ?(nullglob=false) (dirpatt:filexpr) = let cmd = "test -f $1 -a -r $1 -a -w $1 && echo true" in Check.check cmd "regfile_modifiable" ~nullglob dirpatt