Kategorie: Tipps

Färbiges prompt

vi /etc/profile Einfügen # Prompt einfärben ############################### if [ $( id -u ) -gt 14 ]; then PS1=”^[[30;31;1m[\u@\h \t \W]\\$^[[m ” else PS1=”^[[30;31;1m[\u@\h \t \W]#^[[m ” fi ################################################## Achtung, das

Weiterlesen

Boot Ubuntu workstation into text mode

Boot without X systemctl set-default multi-user.target reboot startx Boot with X systemctl set-default graphical.target reboot Display default target systemctl get-default Set VGA resolution vi /etc/default/grub #GRUB_CMDLINE_LINUX_DEFAULT=”quiet splash” GRUB_CMDLINE_LINUX_DEFAULT=”quiet splash vga=792″

Weiterlesen

Raspbian-Version ermitteln

Um zu überprüfen, welche Raspbian-Version auf dem Raspberry Pi installiert ist, wird der Befehl cat /etc/os-release benutzt. cat /etc/os-release PRETTY_NAME=”Raspbian GNU/Linux 9 (stretch)” NAME=”Raspbian GNU/Linux” VERSION_ID=”9″ VERSION=”9 (stretch)” ID=raspbian ID_LIKE=debian HOME_URL=”http://www.raspbian.org/” SUPPORT_URL=”http://www.raspbian.org/RaspbianForums”

Weiterlesen