meta user
network profile
| bio | website | mpi-inf.mpg.de/~uwe |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 7 months |
| seen | 10 mins ago | |
| stats | profile views | 10 |
|
4m |
answered | JOIN command does not return results |
|
14h |
awarded | Enthusiast |
|
1d |
comment |
Screenshot of non active window I just checked that import (from the ImageMagick suite) has a -window id option. If you know the window identifier that should work, even on the command line. You can get the window identifier using xwininfo, but for that you'll have to use the mouse at least once. |
|
1d |
answered | Screenshot of non active window |
|
1d |
comment |
Where do I find a list of terminal key codes to remap shortcuts in bash? OK, if they are interpreted by readline then there must be some terminal emulator where these control sequences are bound to some combination of ctrl, alt, and/or shift with function or arrow keys. (I don't know which one.) |
|
1d |
answered | Where do I find a list of terminal key codes to remap shortcuts in bash? |
|
1d |
comment |
| Grep, Find which file the strings came from That was one of the two things I meant when I talked about "particularly weird file names". (The other one is newlines in file names.) |
|
1d |
comment |
| Grep, Find which file the strings came from Correction: If the pattern "message" can occur anywhere in the string, strings --print-file-name * | grep ': .*message' is better. |
|
1d |
comment |
| Grep, Find which file the strings came from Yes, I know. Unless one uses particularly weird file names, one can fix that by strings --print-file-name * | grep ': message' (the file names output by strings are terminated by : ). The main question is whether the OP wants just the file names (then using grep -l only is better), or whether he also wants the matched strings (then grep will either complain about binary garbage, or output binary garbage, and none of these is helpful). |
|
1d |
answered | | Grep, Find which file the strings came from |
|
May 19 |
comment |
Who sets $USER and $USERNAME environment variables?USER and USERNAME are ordinary environment variables, which means that, if you want, you can set them to arbitrary values. Just type USER=xyz. In other words, even if those variables exist, there is no guarantee that their values match the currently logged-in username. |
|
May 16 |
revised |
How to sed a range of lines? added 244 characters in body |
|
May 16 |
comment |
How to sed a range of lines? Just to be sure: Do you want to keep lines 1 to 4, no matter whether they are blank or not, or do you want to delete lines 1 to 4, no matter whether they are blank or not? (So far, I assumed the former, but the second command you tried makes me wonder.) |
|
May 16 |
awarded | Custodian |
|
May 16 |
reviewed | No Action Needed grep pdf files? |
|
May 16 |
revised |
How to sed a range of lines? explanation added |
|
May 16 |
comment |
How to sed a range of lines? Yep, you're right about the first ;. |
|
May 16 |
answered | How to sed a range of lines? |
|
May 16 |
comment |
Change one typed key for another No, I'm almost never using the console, so I never felt the need to change that. But it's a fairly common problem, so googling for "xmodmap dvorak" or "loadkeys dvorak" should be helpful. |
|
May 16 |
answered | Change one typed key for another |
