config/zsh
1
0
Fork 0
Code Issues 7 Pull Requests Releases Wiki Activity

Tweak build-dir fzf invocation

Browse Source
This commit is contained in:
Kenneth Benzie 2024-05-01 21:29:00 +01:00
parent 1bdaa8ac08
commit b4ce10f1bd
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
build/build.plugin.zsh
View File

@ -90,10 +90,10 @@ EOF
if command -v fzf &> /dev/null; then if command -v fzf &> /dev/null; then
# Use fzf to select a build directory # Use fzf to select a build directory
local max=$(( $( tput lines ) / 2 )) local max=$(( $( tput lines ) / 2 ))
local best=$(( ${#local_build_dirs} + 5 )) local best=$(( ${#local_build_dirs} + 3 ))
local_build_dir=$( local_build_dir=$(
printf '%s\n' "${local_build_dir[@]}" $local_build_dirs | printf '%s\n' "${local_build_dirs[@]}" |
fzf --layout=reverse --info=hidden --border=rounded \ fzf --layout=reverse --info=hidden --border=rounded --tac \
--height=$(( $best < $max ? $best : $max )) --height=$(( $best < $max ? $best : $max ))
) )
if [[ $? -ne 0 ]]; then if [[ $? -ne 0 ]]; then