431 reputation
419
bio website
location
age
visits member for 2 years, 2 months
seen 38 mins ago

Shyy erny anzr - Naqernf Rvonpu


Nov
15
revised bash script select menu
Added new tag "select"
Nov
15
wiki created select excerpt
Nov
15
suggested suggested edit on select tag wiki excerpt
Nov
15
suggested suggested edit on Creating Menu list and Executing the Task
Nov
15
suggested suggested edit on When selecting from the Menu not able to Perform task?
Nov
15
comment When selecting from the Menu not able to Perform task?
I'd rather use select here - this all looks a bit clumsy to me (let alone hard to expand for future additions). But heck, it was accepted as best solution, so I'm not going to mess with it any more.
Nov
15
suggested suggested edit on Using `select` command to print menu in Linux
Nov
15
suggested suggested edit on bash script select menu
Nov
15
revised How to scroll to the bottom or to the beginning of a terminal session in xterm?
added 333 characters in body
Nov
15
comment How to scroll to the bottom or to the beginning of a terminal session in xterm?
No, I was unclear. I mean to press left button on the position marker in the scrollbar and hold it, then, while still holding it, try to move the mouse up and down. This will do nothing in fact, unlike in other OSes with terminal programs, where this would normally work the way I expect it to. But using the middle button instead of the left one for the very same operation does work.
Nov
15
answered How to scroll to the bottom or to the beginning of a terminal session in xterm?
Nov
15
asked How to force bash to start at index 0 with select output?
Nov
14
comment Recursively rename subdirectories that match a regex
As far as I remember, the tool is called rename on Debian only. On Ubuntu (& some flavors), in order to avoid name clashes with the previously mentioned standard rename command, it is sometimes (but not always) found under prename. Here on Lubuntu, the tool itself is called prename but it may be called as rename due to the symlink chain /usr/bin/rename -> /etc/alternatives/rename -> /usr/bin/file-rename, where file-rename is a slightly modified version of prename.
Nov
11
comment How do I print pi (3.14159)?
(Un)important note: GNOME is at π too at the moment. (v3.14) But Raspberry Pi was obviously quicker ;-)
Nov
11
comment How do I print pi (3.14159)?
@DisplayName In my book, I think it is a bit unfair to have this closed because so many people have favorited this question, so there is a lot of interest. Unfortunately a small oligarchy of 24/7 SE geeks always feel that they have to impose their opinion on the enormously huge rest by these hasty closings. Yes: it's always THE SAME names I read there. Over 5,000 views by now - but 0.1 percent of people dictate a closing. Reminds me of Mozilla developers who always think that what they remove from their software is what their users want to have removed as well.
Nov
11
comment How do I print pi (3.14159)?
@Amphiteóth afmtodit requires groff to be installed. Here on Ubuntu (& flavors), it is not standard. JFYI.
Nov
11
comment How do I print pi (3.14159)?
Thanks! But still I'd like to know how they came up with this number the first place. I suspect a tricky formula.
Nov
10
revised How do I print pi (3.14159)?
added 207 characters in body
Nov
10
comment How do I print pi (3.14159)?
I wish someone could explain how that strange number of 52514 can be explained (ideally a formula). This algorithm is quoted in an uncountable number of pages in the net, but nobody has ever explained why of all numbers it's 52514. And it's no 5-minute job to understand, let alone "break apart" the formulae behind this algorithm.
Nov
10
comment How do I print pi (3.14159)?
From memory, the scale=X option of bc will NOT round the number, but simply cut off the number at the X-th decimal digit.