Sektionen
You are here: Institute → IT Services → Help → For Students → Workarounds

Workarounds

BugWorkaround
Firefox does not start, because a process is already running. Delete the file "$HOME/.mozilla/firefox/*.default/.parentlock". 
Firefox needs a long time to start. Type in "about:config" in the address field of firefox, and change the value of "network.dns.disableIPv6" to TRUE. 
Institutsverweise