tools.completion: minor fix to complete against file-name, not full-path.
parent
ca9137767b
commit
daa7bf3d22
|
@ -109,21 +109,21 @@ PRIVATE>
|
||||||
|
|
||||||
<PRIVATE
|
<PRIVATE
|
||||||
|
|
||||||
: directory-paths ( directory -- paths )
|
: directory-paths ( directory -- alist )
|
||||||
dup '[
|
dup '[
|
||||||
[
|
[
|
||||||
[ _ prepend-path ]
|
[ dup _ prepend-path ]
|
||||||
[ file-info directory? [ path-separator append ] when ]
|
[ file-info directory? [ path-separator append ] when ]
|
||||||
bi
|
bi swap
|
||||||
] map
|
] { } map>assoc
|
||||||
] with-directory-files ;
|
] with-directory-files ;
|
||||||
|
|
||||||
PRIVATE>
|
PRIVATE>
|
||||||
|
|
||||||
: paths-matching ( str -- seq )
|
: paths-matching ( str -- seq )
|
||||||
dup file-directory [ ?head drop ] keep
|
dup file-directory [ ?head drop trim-head-separators ] keep
|
||||||
dup { [ exists? ] [ file-info directory? ] } 1&&
|
dup { [ exists? ] [ file-info directory? ] } 1&&
|
||||||
[ directory-paths dup zip completions ] [ 2drop { } ] if ;
|
[ directory-paths completions ] [ 2drop { } ] if ;
|
||||||
|
|
||||||
<PRIVATE
|
<PRIVATE
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue