620 reputation
612
bio website
location Moscow, Russia
age
visits member for 3 years, 10 months
seen yesterday

isidore.john.r at gmail dot com


Aug
7
awarded  Yearling
Aug
3
answered How do I install packages with pip when there are multiple Python versions?
Jul
16
awarded  Necromancer
Jun
25
comment How to both display a command line's output on console and save the output into a text file?
you could use |& instead of 2>&1 | in bash
May
14
comment Piping with Moreutils ts
+1 for sed -u. It is a block-buffering vs. line-buffering issue.
Apr
30
revised How do you cd into the first available folder without typing out the name?
deleted 40 characters in body
Apr
30
answered How do you cd into the first available folder without typing out the name?
Mar
26
comment encrypting text editor
EasyPG is bundled with Emacs. To encrypt a file just save it with .gpg extension.
Mar
13
comment How to copy a file to multiple folders using the command line?
@nux: tee unlike cp copies only file's content ignoring its mode, ownership, timestamps. To avoid repeating the filename: f=text.txt; <~/$f tee ~/folder1/$f > ~/folder2/$f
Mar
10
comment How to create a deb package for a python3 script?
have you tried fpm? FUNDAMENTAL PRINCIPLE: IF FPM IS NOT HELPING YOU MAKE PACKAGES EASILY, THEN THERE IS A BUG IN FPM.
Feb
27
revised What is <defunct> for a process and why it doesn't get killed?
mention wait() explicitly
Feb
27
revised What is <defunct> for a process and why it doesn't get killed?
deleted 3 characters in body
Feb
27
comment What is <defunct> for a process and why it doesn't get killed?
you can't kill "defunct" process. You only can speed up the deletion of its entry in a process table by killing its parent.
Feb
27
answered What is <defunct> for a process and why it doesn't get killed?
Feb
27
awarded  Citizen Patrol
Feb
27
answered Command for determining my public IP?
Feb
21
awarded  Constituent
Feb
11
awarded  Caucus
Feb
7
awarded  Excavator
Feb
7
revised Any application with graphical user interface to convert video files from mp4 to avi?
fix 404 error; add screenshot