Reputation
Top tag
Next privilege 200 Rep.
See reduced ads
Badges
7
Newest
 Tumbleweed
Impact
~3k people reached

  • 0 posts edited
  • 0 helpful flags
  • 44 votes cast
Apr
20
comment Keyboard shortcut for “open a terminal here”
There is no need to log out and in again. A simple nautilus -q does the job.
Sep
30
comment How to change the default highlighting of gedit for a specific extension
Is there a more nicely way of doing it. Like configure the precedence of the languages, instead of disabling octave?