950 reputation
11226
bio website superuser.com/users/87552
location 127.0.0.1
age
visits member for 3 years, 6 months
seen Apr 25 '13 at 3:41

uname -a


Jul
31
comment PowerShell ISE as C editor (like gEdit with embedded terminal)?
There is a windows version of gedit.
Jul
31
comment How do I make Gedit run a custom command when I save a certain type of file?
Dunno if you can. A less elegant solution may be to bind a key command in gedit to execute such a command (via external tools). The key command may be something close to Ctrl+S so that it's easy to do after each save.
Jul
31
comment Generating SVG from LaTeX (tikz)?
You may have more luck asking this question on TeX.sx.
Jul
7
comment What are the benefits from more iGPU memory?
When it comes to graphics I will use the system to watch videos, edit graphics and images and occasionally edit videos.
Jul
4
comment Linux software for periodical work break
Does this program really provide alerts for taking breaks?
Jul
1
comment Tweaking Firefox for Performance
It seems so. Also see kb.mozillazine.org/Nglayout.initialpaint.delay
Jun
30
comment Can I reprogram a microphone input to be used as an audio output? (on XP)
You wrote "IF you could do this, you'll likely need to get the source code for your video driver and edit it." Don't you mean "sound driver"?
Jun
30
comment how to copy the results from a grep command to the bash clipboard?
stackoverflow.com/questions/749544/pipe-to-from-clipboard may be related to this.
Jun
30
comment Why don't the sizes of my folders add up to the size of my hard drive in Windows?
This may not be a directly addressed to your question but in buying a SSD it may not be necessary to get one which has comparable storage capacity as your current HDD. If it's speed (of read and write) your after it might suffice to buy a SSD of less storage capacity, say 80 GB (they seem to be reasonably priced now), and on it your put the system files (the OS and the programs) aswell as the files your currently working on. Then you just store whatever other files your not currently working on, or don't need hasty read and write for (these could be media files), on your current HDD.
Jun
29
comment Editing PDF to remove section?
It might be easier to edit the source of the pdf instead of the pdf directly, e.g. if the the pdf is prepared with LaTeX it might be easier to edit pdf by editing the source .tex file and compiling a new pdf.
Jun
29
comment How to setup a dev branch in git?
I'm not sure if I get your question. Are you asking for how to push and pull the dev branch? See Pulling changes and Pushing a change.
Jun
28
comment Ubuntu on Chromebook or similar class machine
To able to give a reasonable answer to this question you should add the relevant hardware specifications for the computers you're looking at and what you plan to do on the computer (so we can know what kind of support you need).
Jun
26
comment Convert .tar.gz/.tar.bz2 to .7z in batch?
You might be able to edit this script converting from zip to fit your demands? Also there is an online converter supporting the mentioned formats.
Jun
25
comment Sync files between 2 remote computers using Linux terminal
@mindless.panda What are you using for syncing today?
Jun
25
comment How is display devices connected to the integrated Intel HD Graphics?
@Sathya But where is the VGA/DVI port if you have no separate graphics card? Is there motherboards with such ports?