2,822 reputation
919
bio website people.umass.edu/klement
location Amherst, MA
age 40
visits member for 4 years, 2 months
seen Aug 26 at 19:05

Academic philosopher, linuxphile and LaTeXphile.


Sep
8
answered How can I test if a program is running from within a script
Sep
2
comment Is a file manager in Linux a necessity or a luxury?
+1 I think I have a file manager installed (pcmanfm maybe?), but I've never used it. So no, not a necessity. Not sure "luxury" is the right word either.
Sep
1
revised How do I execute a command on a given string in each line of a file?
change title to something decent
Sep
1
suggested suggested edit on How do I execute a command on a given string in each line of a file?
Aug
31
comment vim always shows help/documentation
This isn't normal behavior. Does it only happen with certain kinds of files? Anything else you can tell us about the circumstances?
Aug
31
awarded  Critic
Aug
23
awarded  Yearling
Aug
18
comment vim script: how to change “put =” to an append?
I think you'd have better luck dropping the put lines and changing the s... (substitute) lines to include the */
Aug
13
comment How to recover a file just deleted
And this thread might help too, since nothing is fedora-specific.
Aug
13
comment How to recover a file just deleted
What kind of fs? ext3? ext4?
Aug
12
revised Add and edit bookmarks to pdf
added 74 characters in body
Aug
12
answered Add and edit bookmarks to pdf
Aug
11
revised Is it possible to find out which files are setting/adding to environment variables, and their order of precedence?
added 82 characters in body
Aug
11
answered Is it possible to find out which files are setting/adding to environment variables, and their order of precedence?
Aug
8
comment How to change height and width of each page of a pdf
It converts it to PostScript and back, but why that should increase file size so dramatically, I don't know. You probably also go from PDF version 1.5+ to 1.4, which may have something to do with it.
Aug
8
comment How to change height and width of each page of a pdf
(I fixed an earlier, worse answer.)
Aug
8
revised How to change height and width of each page of a pdf
deleted 232 characters in body
Aug
8
revised How to change height and width of each page of a pdf
added 87 characters in body
Aug
8
answered How to change height and width of each page of a pdf
Aug
7
answered Measuring time within a script