fixed powerline-shell, added HiDPI things (new laptop, yay)

2025-07-27 12:43:08 +02:00 · 2018-05-04 19:28:02 +02:00
parent 6e3c482b22
commit fb4f5719d3
6 changed files with 81 additions and 14 deletions
--- a/bash/.bashrc
+++ b/bash/.bashrc
@@ -3,7 +3,9 @@
 #

 function _update_ps1() {
-    PS1=$(powerline-shell $?)
+    if hash powerline-shell 2>/dev/null; then
+        PS1=$(powerline-shell $?)
+    fi
 }

 source ~/.alias