bash: Cut long hostname to 5 characters

[dotfiles.git] / .shellrc

diff --git a/.shellrc b/.shellrc
index 541417a422ae2ff1c5040e1e58c70f74b8867034..6cb771f2d0824c3f32514a33b3bbdaf8bd2ba7fa 100644 (file)
--- a/.shellrc
+++ b/.shellrc
@@ -342,7 +342,7 @@ mc() {
    if test -n "$BASH_VERSION"; then
       MC_SAVE_OPS1="$OPS1"
       if [ "`type -t short_curdir`" = function ]; then
-         OPS1="\u@\h \`short_curdir\` \\$"
+         OPS1="\u@\${HOSTNAME::5} \`short_curdir\` \\$"
       else
          OPS1="\u@\h \W \\$"
       fi