lucaswilric/repo-tools
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

repo: Don't cd unnecessarily

Browse Source
This commit is contained in:
Lucas Wilson-Richter
2024-06-17 17:43:36 +10:00
parent 854c282983
commit 74693a6b3a
2 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
repo
View File

@ -27,9 +27,14 @@ repos=$(find "${REPOSITORY_BASE}" -maxdepth 5 -name '.git' | sed "s|${REPOSITORY
# Default to searching within github.com, because that's by far the most common
# place for repos to be.
# selected=$(echo "${repos}" | gum filter --header="Pick a repo" --prompt="Repo: " --height=20 --value "github.com/${1}")
selected="$(echo "${repos}" | fzf -1 -0 -q "${REPO_DEFAULT_SEARCH_PREFIX}${1}" --prompt="Repo: ")"
selected="$(echo "${repos}" | fzf -1 -0 -q "${1:-${REPO_DEFAULT_SEARCH_PREFIX}}" --prompt="Repo: ")"
echo "${REPOSITORY_BASE}/${selected}"
# Do nothing if no repo was selected
if [ -n "${selected}" ]; then
echo "${REPOSITORY_BASE}/${selected}"
else
echo '.'
fi
# TODO: It could be super nice to bias in favour of more frequently selected options.
# For the last 500 uses (or so):