Debian Machine bash configuration