.bashrc.d/01detect_system: Use /etc/os-release

[dotfiles-public.git] / src / .bashrc.d / 70title

diff --git a/src/.bashrc.d/70title b/src/.bashrc.d/70title
index b6f581415fe6171b65d0cb639c42d13e56312e2c..9186127546a203ad4ab32becc4af4ed196359910 100644 (file)
--- a/src/.bashrc.d/70title
+++ b/src/.bashrc.d/70title
@@ -1,4 +1,5 @@
-if [ "${OS}" != 'Gentoo' ] && [ "${OS}" != 'Gentoo Prefix' ]; then
+if test "${OS}" != gentoo
+then

        # Change the window title of X terminals 
        case ${TERM} in
                xterm*|rxvt*|Eterm|aterm|kterm|gnome*|interix)
        # Change the window title of X terminals 
        case ${TERM} in
                xterm*|rxvt*|Eterm|aterm|kterm|gnome*|interix)