--- /dev/null
+#!/bin/bash
+
+# If not running interactively, don't do anything:
+[ -z "$PS1" ] && return
+
+# keep original settings (debian)
+. ~/.bashrc
+
+# prefix prompt with naming server hostname and port
+export PS1='[NS='${NSHOST}':'${NSPORT}']'${PS1}
+++ /dev/null
-#!/bin/bash
-
-# If not running interactively, don't do anything:
-[ -z "$PS1" ] && return
-
-# keep original settings (debian)
-. ~/.bashrc
-
-# prefix prompt with naming server hostname and port
-export PS1='[NS='${NSHOST}':'${NSPORT}']'${PS1}