Reputation
Top tag
Next privilege 125 Rep.
Vote down
Badges
1 7
Newest
 Tumbleweed
Impact
~5k people reached

  • 0 posts edited
  • 0 helpful flags
  • 11 votes cast
Apr
8
accepted Gnome 3: how to get a terminal with transparent background?
Apr
8
answered Gnome 3: how to get a terminal with transparent background?
Apr
8
awarded  Tumbleweed
Apr
4
accepted AUCTeX installation failure “Error occurred processing /usr/share/emacs24/site-lisp/debian-startup.el”
Apr
2
answered AUCTeX installation failure “Error occurred processing /usr/share/emacs24/site-lisp/debian-startup.el”
Apr
2
revised AUCTeX installation failure “Error occurred processing /usr/share/emacs24/site-lisp/debian-startup.el”
added 291 characters in body
Apr
2
asked AUCTeX installation failure “Error occurred processing /usr/share/emacs24/site-lisp/debian-startup.el”
Apr
1
revised Gnome 3: how to get a terminal with transparent background?
added 434 characters in body
Apr
1
asked Gnome 3: how to get a terminal with transparent background?
Mar
27
comment Booting Debian from USB stick fails although Secure Boot is disabled
Thanks a lot, that worked!
Mar
27
revised Booting Debian from USB stick fails although Secure Boot is disabled
added 54 characters in body
Mar
27
revised Booting Debian from USB stick fails although Secure Boot is disabled
added 214 characters in body
Mar
27
revised Booting Debian from USB stick fails although Secure Boot is disabled
deleted 84 characters in body
Mar
27
asked Booting Debian from USB stick fails although Secure Boot is disabled
Feb
24
awarded  Notable Question
Nov
19
awarded  Popular Question
Sep
10
comment Shell script: ssh to remote machine, then exit: 'exit' does not work
Thanks for helping, Ctark!
Sep
9
comment Shell script: ssh to remote machine, then exit: 'exit' does not work
okay, thanks. That's a nice solution.
Sep
9
accepted Shell script: ssh to remote machine, then exit: 'exit' does not work
Sep
9
comment Shell script: ssh to remote machine, then exit: 'exit' does not work
When I move date "inside", I obtained date: Undefined variable. As this was a shell issue, I included the statement bash right before the date variable (in order to change to a bash so that the date is defined), but then I obtained bash: -c: option requires an argument.