Danke für die Antwort, bluebyte. Leider nützt das auch nix, ich habe etliche Tastencombos ausprobiert und nix ist passiert (ausser ein ungewollter Systemneustart). Eigendlich müsste doch zumindest sowas wie 'bind "F10" toggleconsole' funktionieren oder täusche ich mich da? Ich versteh' das...