30,077 reputation
15293
bio website
location Italy
age 47
visits member for 3 years, 9 months
seen 19 hours ago

Mathematical Physics researcher. Linux user from 1996. C programmer from 1996 to 2002. Mainly oriented to shell programming, package management tools and in general to command line.


Feb
22
comment Command to list the largest 3 directories/files in my home
+1, but I suggest to reset dotglob to its default value after the command.
Feb
6
comment Recursive grep fails for *.c files
@NathanJones: grep requires one or more filenames or directories in which to search. The dot says: search in the current directory
Feb
6
comment How can I copy the contents of a folder to another folder in a different directory using terminal?
@Funzies: probably your command should be: cp -a ~/Downloads/textext/. ~/.config/inkscape/extensions/
Jan
23
comment How to reduce the command line prefix length in Bash
None of the AU answers there point to the real solution, as the SU question does: use \W. So I vote to reopen the question.
Dec
21
comment rc.local not executing command
You cannot use xbacklight in rc.local, that is run from root at boot time, and hoping to have it work in a user X session.
Dec
21
comment SSH keys don't work on KDE
This a strange behavior, I use ssh keys under KDE without problems. Use the -v option to ssh to see what's going on.
Dec
21
comment Problem adding shell to new user
What procedure are you using to add a new user?
Dec
21
comment OpenVPN will not connect
Why the title OpenVPN? That page talk about PPTP and not at all about OpenVPN.
Nov
3
comment Script to close and reopen a program every hour, loop not working
also, you misspelled the process name in the second killall
Nov
2
comment Delete directory by referencing symbolic link
instructive, but too much work to take into account for an improbable newline in a filename. Worth to take care of for a production system, but not for a casual user.
Nov
2
comment Additional Workspaces
in xubuntu you can get up to 100 ws
Nov
2
comment untrusted packages - sudo access denied
Are you in the sudo group (or admin for older Ubuntu versions)? You can check with the command groups that lists all groups you are in.
Nov
2
comment How can I do to change my SHELL from tcsh to bash?
How do you switched to tcsh? It is not used by default.
Oct
3
comment How do I create a file and mount it as a filesystem?
Now mount does not need the -o loop option anymore, it can understand by itself we it need it.
Oct
2
comment Can I virtualize a pre-installed Windows 7?
@Dilawar: see section "9.8 Advanced storage configuration" of /usr/share/doc/virtualbox/UserManual.pdf.
Sep
20
comment How to get sed to substitute for all but one character
@sosytee: see updated answer
Sep
20
comment How to get sed to substitute for all but one character
@sosytee: if you mean that you only want the single char in the second pair of brackets, you can have it with echo "atPhysAddress[1][1.10.0.0.98]" | sed 's/.*\]\[\(.\).*\]/\1/'
Sep
20
comment Run Galfit in terminal
How do you installed such a program? Is it the file marked as executable? Does echo $PATH lists /usr/local/bin, as it should do?
Sep
9
comment xubuntu 12.04 doesn't seem to have option to not “sleep” computer
How so? I can see the setting: "Put the computer to sleep when inactive for:", whose default values is "Never".
Sep
9
comment xubuntu 12.04 doesn't seem to have option to not “sleep” computer
That package is installed by default in Xubuntu.