add plugin for basher

pull/1759/head
cornfeedhobo 2020-12-31 17:28:30 -06:00
parent 3addebb66b
commit 0b6ecf705d
No known key found for this signature in database
GPG Key ID: 724357093F994B26
2 changed files with 19 additions and 0 deletions

View File

@ -28,6 +28,10 @@ lint_clean_files.sh
themes/90210
themes/powerline
# plugins
#
plugins/available/basher.plugin.bash
# completions
#
completion/available/cargo.completion.bash

View File

@ -0,0 +1,15 @@
cite about-plugin
about-plugin 'initializes basher, the shell package manager'
# https://github.com/basherpm/basher
if ! _command_exists basher; then
if [[ -x "$HOME/.basher/bin/basher" ]]; then
pathmunge "$HOME/.basher/bin"
else
_log_warning 'basher not found'
return 0
fi
fi
eval "$(basher init - bash)"