Hallo edvoldi.
Du kannst auch beide Scripte zum Neustarten von Firefox verwenden.
Die stören sich nicht gegenseitig. du hast nr eine weitere Möglichkeit Firefox neu zu Starten.
Danke übrigens für die Rückantwort, dass es funktioniert.
Heute gehen einige Scripte an Mithrandir damit er Github aktualisieren kann.
Mal sehen bis wann er Zeit dazu hat.
Mfg.
Endor