tools.completion: don't use file-directory.
parent
5c810c2fa5
commit
1537ac999d
|
@ -121,7 +121,7 @@ PRIVATE>
|
||||||
PRIVATE>
|
PRIVATE>
|
||||||
|
|
||||||
: paths-matching ( str -- seq )
|
: paths-matching ( str -- seq )
|
||||||
dup file-directory [ ?head drop trim-head-separators ] keep
|
dup last-path-separator [ 1 + cut ] [ drop "" ] if swap
|
||||||
dup { [ exists? ] [ file-info directory? ] } 1&&
|
dup { [ exists? ] [ file-info directory? ] } 1&&
|
||||||
[ directory-paths completions ] [ 2drop { } ] if ;
|
[ directory-paths completions ] [ 2drop { } ] if ;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue