Reputation
Top tag
Next privilege 200 Rep.
See reduced ads
Badges
2
Newest
 Supporter
Impact
~2k people reached

  • 0 posts edited
  • 0 helpful flags
  • 4 votes cast
Apr
18
answered Delete files with 2 separators
Apr
7
comment Upgraded to 12.10, and now most of my installed GNOME Shell extensions are “outdated”
You are right, it would. I do notice that restarting fails inexplicably sometimes where a logout/login does not. Still, restarting alone should suffice.
Apr
3
answered Upgraded to 12.10, and now most of my installed GNOME Shell extensions are “outdated”
Mar
21
awarded  Supporter
Mar
14
answered How to port the bash settings?
Mar
11
awarded  Teacher
Mar
11
answered How can I run a single C source code on code:block or in geany?