diff options
author | Canop <cano.petrole@gmail.com> | 2019-02-11 18:19:18 +0100 |
---|---|---|
committer | Canop <cano.petrole@gmail.com> | 2019-02-11 18:19:18 +0100 |
commit | 84bfc6b77846fd643f878c337fee23bb0b6153fc (patch) | |
tree | 9970107a79c9eb8f003579cae07b5c4bf73f7d93 /.gitignore | |
parent | e87b5f654a5949eba90dc5aecc911ecd9105a671 (diff) |
handle errors on a few cases of non suitable root
* initial path not a file: display an error and exit
* initial path not a directory: open the parent instead
* directory removed between display and focus: display an error in
status
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,6 +1,7 @@ bench.sh dev.log deploy.sh +docs install.sh notes.md /releases @@ -9,4 +10,5 @@ notes.md perf.data* *.pl off - +screens +tests |