Mar
3
comment How do I replace the last occurrence of a character in a string using sed?
For someone with only a basic understanding of regular expressions, this answers seems much more approachable. And who cares how many operations it takes, this is going to be instantaneous for all practical cases. So I would consider readability over some arbitrary rule to use as few operations as possible.
Feb
26
reviewed Approve suggested edit on Package pgf warning: gnuplots
Feb
13
accepted Move line by size of arrow tip
Feb
13
comment Move line by size of arrow tip
Not quite, but tex.stackexchange.com/questions/14901/… seems relevant. I'll take a look at that later.
Feb
13
comment Move line by size of arrow tip
Yes that is sort of what I had in mind. Although simply measure won't do, because how would it know when to place it above, below, left or right? Regardless, my tikz foo is too weak, hence this question.
Feb
13
revised Move line by size of arrow tip
added 778 characters in body
Feb
13
comment Move line by size of arrow tip
But this is still a hardcoded number. If I were to scale the tikzpicture, the gap would change. On the contrary, the gap between the a and the rectangle stays the same, because of some magic in \node[below], I presume.
Feb
13
asked Move line by size of arrow tip
Feb
11
awarded Tumbleweed
Feb
8
awarded Popular Question
Feb
4
asked Can I reuse system-connections on new installation?
Feb
4
answered XMonad gaps in fullscreen
Jan
25
awarded Citizen Patrol
Jan
10
revised Python create numpy array with different dtypes
deleted 41 characters in body
Jan
10
awarded Critic
Jan
10
comment How could I process the python output data to input into arduino for controlling servos?
Where is the code? What have you tried? What errors have you encountered?
Jan
10
revised Python create numpy array with different dtypes
as suggested in the comments
Jan
9
awarded Yearling
Jan
9
answered Python create numpy array with different dtypes
Jan
9
comment Python create numpy array with different dtypes
The data type is now a "row" in itself, so you need only fields = numpy.zeros(2**m, dtype=dt).
1 2 3 4 5