Parent directory

generate_single_file

992 bytes
 1#!/bin/zsh
 2
 3local PLUGIN_FILE="doc/zshnavigationtools.plugin.zsh"
 4
 5[ -d doc ] || cd ..
 6
 7rm -vf "$PLUGIN_FILE"
 8echo "# The preamble comments apply when using ZNT as autoload functions" >>"$PLUGIN_FILE"
 9echo "# https://github.com/psprint/zsh-navigation-tools" >>"$PLUGIN_FILE"
10echo "# License is GPLv3 and MIT" >>"$PLUGIN_FILE"
11echo -n "# " >>"$PLUGIN_FILE"
12git show-ref master | head -1 >>"$PLUGIN_FILE"
13echo >>"$PLUGIN_FILE"
14
15for i in n-*(on); do
16    echo "$i() {" >>"$PLUGIN_FILE"
17    cat "$i" >>"$PLUGIN_FILE"
18    echo "}" >>"$PLUGIN_FILE"
19    echo "alias n${i#n-}=$i" >>"$PLUGIN_FILE"
20    echo >>"$PLUGIN_FILE"
21done
22
23# Append znt-* files
24for i in znt-*(on); do
25    echo "$i() {" >>"$PLUGIN_FILE"
26    cat "$i" >>"$PLUGIN_FILE"
27    echo "}" >>"$PLUGIN_FILE"
28    echo >>"$PLUGIN_FILE"
29done
30
31# Append ^R bind
32echo "zle -N znt-history-widget" >>"$PLUGIN_FILE"
33echo "bindkey '^R' znt-history-widget" >>"$PLUGIN_FILE"
34echo "setopt AUTO_PUSHD HIST_IGNORE_DUPS PUSHD_IGNORE_DUPS" >>"$PLUGIN_FILE"
35