241,575 reputation
31364689
bio website stackexchange.com/users/…
location
age
visits member for 4 years, 5 months
seen 3 mins ago

Moderator♦ pro tempore on French Language, Computer Science and Software Recommendations. I'm also a unix amateur since 1997, and a developer on embedded systems with a computer science background and security leanings by trade.

Avatar picture slightly adapted from a photo by Luridiformis (Zonda Grattus).


3m
comment When removing a package via “apt-get remove”, why do you have to (sometimes) upgrade other packages in the process?
Usually, you don't need to upgrade other packages when removing a package. So yes, do give an example.
4m
revised Why does “grep '.*[s]' file” work and “grep .*[s] file” doesn't?
edited tags; edited tags
5m
revised Terminal vs bash?
edited tags
10m
revised POSIX description of cp -R
added 20 characters in body; edited tags; edited title
13m
revised tcpdump filter expression breaks via adb
added the most important piece of information: the actual command, which was posted in an answer
26m
awarded  Good Answer
4h
reviewed Approve sed fails to remove newline character
7h
awarded  Nice Answer
17h
awarded  Nice Answer
22h
answered sed fails to remove newline character
22h
revised sed fails to remove newline character
edited tags
22h
comment Loop to check whether a Debian package is installed or not
@muru It's not better than these, but it's better than straight up trying to install.
22h
revised “Sudo” prefixed command doesn't work; without sudo does.
edited tags
22h
comment Troubleshoot SSH connection problem
What about the server logs? Is SELinux enforcing?
23h
revised Extracting info from blocks inside text file
edited tags
23h
comment Loop to check whether a Debian package is installed or not
There's a reason to check first: that doesn't require root. So you can write something like dpkg -l curl || sudo apt-get install curl, and not prompt the user for a password if it isn't needed.
23h
revised opkg can't find apache
edited tags
23h
revised Help with apt-get on non-internet connected device
edited tags
23h
comment How can I get the last command 's output?
If you're looking for the command's output, see How do I reuse the last output from the command line?. If you want to log the input and output, see Pipe all input and output of terminal to file.
23h
revised How to get Debian codename without lsb-release
edited tags