dotfiles/zsh/.oh-my-zsh/plugins/zsh-navigation-tools/doc/generate_single_file

36 lines
992 B
Text
Raw Normal View History

2024-06-19 00:06:56 +02:00
#!/bin/zsh
local PLUGIN_FILE="doc/zshnavigationtools.plugin.zsh"
[ -d doc ] || cd ..
rm -vf "$PLUGIN_FILE"
echo "# The preamble comments apply when using ZNT as autoload functions" >>"$PLUGIN_FILE"
echo "# https://github.com/psprint/zsh-navigation-tools" >>"$PLUGIN_FILE"
echo "# License is GPLv3 and MIT" >>"$PLUGIN_FILE"
echo -n "# " >>"$PLUGIN_FILE"
git show-ref master | head -1 >>"$PLUGIN_FILE"
echo >>"$PLUGIN_FILE"
for i in n-*(on); do
echo "$i() {" >>"$PLUGIN_FILE"
cat "$i" >>"$PLUGIN_FILE"
echo "}" >>"$PLUGIN_FILE"
echo "alias n${i#n-}=$i" >>"$PLUGIN_FILE"
echo >>"$PLUGIN_FILE"
done
# Append znt-* files
for i in znt-*(on); do
echo "$i() {" >>"$PLUGIN_FILE"
cat "$i" >>"$PLUGIN_FILE"
echo "}" >>"$PLUGIN_FILE"
echo >>"$PLUGIN_FILE"
done
# Append ^R bind
echo "zle -N znt-history-widget" >>"$PLUGIN_FILE"
echo "bindkey '^R' znt-history-widget" >>"$PLUGIN_FILE"
echo "setopt AUTO_PUSHD HIST_IGNORE_DUPS PUSHD_IGNORE_DUPS" >>"$PLUGIN_FILE"