Merge pull request #92808 from justin-gerhardt/fix-powerline

powerline: fix fish integration
This commit is contained in:
Sandro 2020-11-29 04:11:44 +01:00 committed by GitHub
commit 7c90866a6c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -41,7 +41,10 @@ buildPythonPackage rec {
install -m644 "font/PowerlineSymbols.otf" "$out/share/fonts/OTF/PowerlineSymbols.otf"
install -m644 "font/10-powerline-symbols.conf" "$out/etc/fonts/conf.d/10-powerline-symbols.conf"
cp -ra powerline/bindings/{bash,fish,shell,tcsh,tmux,vim,zsh} $out/share/
install -dm755 "$out/share/fish/vendor_functions.d"
install -m644 "powerline/bindings/fish/powerline-setup.fish" "$out/share/fish/vendor_functions.d/powerline-setup.fish"
cp -ra powerline/bindings/{bash,shell,tcsh,tmux,vim,zsh} $out/share/
rm $out/share/*/*.py
'';