don't allow file paths to .git directory
This commit is contained in:
parent
57b2473360
commit
5861ed680e
1 changed files with 1 additions and 0 deletions
|
@ -39,6 +39,7 @@ mkSafeFilePath p = SafeFilePath $ if null p' then "file" else p'
|
||||||
safe s
|
safe s
|
||||||
| isDrive s = False
|
| isDrive s = False
|
||||||
| s == ".." = False
|
| s == ".." = False
|
||||||
|
| s == ".git" = False
|
||||||
| null s = False
|
| null s = False
|
||||||
| otherwise = True
|
| otherwise = True
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue