update zsh with the ones from home dir

This commit is contained in:
2025-07-10 21:45:43 +01:00
parent c8bef0667b
commit 13ac3d78d1
3 changed files with 10 additions and 32 deletions

View File

@@ -30,27 +30,4 @@ fzf-cd-widget() {
local dir
dir=$(find ${1:-.} -path '*/\.*' -prune -o -type d -print 2> /dev/null | fzf +m) && cd "$dir"
zle reset-prompt
}
select_and_open_pr() {
local pr_info=$(gh pr list --state open --json number,title | jq -r '.[] | "\(.number) \(.title)"' | fzf -1)
if [[ -n "$pr_info" ]]; then
local pr_number=$(echo "$pr_info" | awk '{print $1}')
gh pr checkout "$pr_number"
gh pr view --web
else
echo "No PR selected."
fi
}
select_and_open_pr_web_only() {
local pr_info=$(gh pr list --state open --json number,title | jq -r '.[] | "\(.number) \(.title)"' | fzf -1)
if [[ -n "$pr_info" ]]; then
local pr_number=$(echo "$pr_info" | awk '{print $1}')
gh pr view --web
else
echo "No PR selected."
fi
}
}