Du befindest dich hier: Willkommen » Linux » Linux Mint

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung
Nächste Überarbeitung
Vorherige Überarbeitung
linux:mint [10.12.2023 11:51] Martinlinux:mint [04.04.2024 10:17] (aktuell) Martin
Zeile 1: Zeile 1:
 # Linux Mint # Linux Mint
 +
 +## Boot-Timeout von 30 Sekunden auf 3 Sekunden ändern
 +
 +```
 +sudo cp /boot/grub/grub.cfg grub.cfg.bak
 +sudo sed -i 's/timeout=30/timeout=3/g' /boot/grub/grub.cfg 
 +sudo cat /boot/grub/grub.cfg | grep timeout
 +sudo update-grub
 +```
 +
 +## max. Breite der Taskbar anpassen
 +
 +Wenn die Taskbar an der linken oder rechten Seite ist, kann diese nicht breiter als 50 Pixel werden.  
 +Um diesen Wert anzupassen, folgende Einstellung verändern:
 +
 +```
 +sudo sed -i "s|maxi=50, show_value=False|maxi=200, show_value=True|g" /usr/share/cinnamon/cinnamon-settings/modules/cs_panel.py
 +```
 + 
 +Quelle: [siehe hier](https://forums.linuxmint.com/viewtopic.php?t=401967)
  
 ## Application not responding ## Application not responding
Zeile 19: Zeile 39:
 sudo apt install mintupgrade -y && sudo touch /etc/timeshift.json && sudo mintupgrade sudo apt install mintupgrade -y && sudo touch /etc/timeshift.json && sudo mintupgrade
 ``` ```
 +
linux/mint.1702209080.txt.gz · Zuletzt geändert: 10.12.2023 11:51 von Martin