1d
awarded Yearling
1d
awarded Yearling
1d
awarded Self-Learner
Sep
15
awarded Popular Question
Sep
12
awarded Notable Question
Sep
11
accepted Positioning of a (newly defined) symbol *relative* to a textbox
Sep
11
comment Positioning of a (newly defined) symbol *relative* to a textbox
excellent, thanks a lot!
Sep
11
comment Positioning of a (newly defined) symbol *relative* to a textbox
.. yes. I just experimented a bit and it turns out that when I choose the scale any smaller than 1, the chevrons disappear and for scale >= 1, they appear (but are huge of course).
Sep
11
comment Positioning of a (newly defined) symbol *relative* to a textbox
Hi, thanks for helping. I like the idea with the arguments, but I would only need one (not two). I substituted the color into #1 and made the #2 a #1 (and of course removed the {blue} and replaced {2} by {1}), but suddenly the chevrons disappear. Do you know why?
Sep
11
asked Positioning of a (newly defined) symbol *relative* to a textbox
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.
Sep
9
comment Shell script: ssh to remote machine, then exit: 'exit' does not work
Hi R J, thanks for helping. I prefer the first solution (I was aware of the second). However, I get Pseudo-terminal will not be allocated because stdin is not a terminal. Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. But the commands are executed as expected.
Sep
7
awarded Commentator
Sep
7
comment Shell script: ssh to remote machine, then exit: 'exit' does not work
If I do that (and have the linebreaks accordingly; see the update above), I get bash: -c: option requires an argument and date: Undefined variable..
Sep
7
revised Shell script: ssh to remote machine, then exit: 'exit' does not work
added 127 characters in body
Sep
7
comment Shell script: ssh to remote machine, then exit: 'exit' does not work
Hi,I updated the original post with a not-so-minimal version. As you can see, it's essentially a script for doing a backup to a remote machine via rsync. The actual rsync command is a bit more tricky, but that shouldn't play a role.
Sep
7
awarded Editor
1 2 3 4 5