Not really the most useful tip, but a couple of days ago I was looking for a way of determine the number of sockets on this box and after googling around I found this forum from where I adapted the following code that should return the number of sockets in your server, by counting the unique number of entries for the “physical id” string.
grep -i "^physical id" /proc/cpuinfo | sort | uniq | wc -l
I keep having this problem so I decided to write it down here, after following the instructions from http://ubuntuforums.org/showthread.php?t=215627:
To add global proxy settings to xfce4, run the following code in order to add a few lines to /etc/environment:
Code:
sudo echo http_proxy=http://proxyaddress:port >>/etc/environment
sudo echo ftp_proxy=http://proxyaddress:port >>/etc/environment
sudo echo https_proxy=http://proxyaddress:port >>/etc/environment
Replace proxyaddress and port with the ip address and port (usually 3128 or 8080) where the proxy server is running.
If you need to add username and password authentication, you will need to replace all the commands with
http://user:pwd@proxyaddress:port
To convert a DVD to avi I use the following command:
mencoder dvd://1 -alang en -ovc xvid -xvidencopts bitrate=1500:autoaspect -oac mp3lame -lameopts br=128 -o ~/OUTPUT_FILE
The dvd://1 can change depending on the DVD. What I do is to enter mplayer dvd://1 and check if that starts the main movie. If it does not, I try dvd://2 and keep incrementing until I see what I want to save. You might also want to change -alang en to get the audio for other languages.
Change OUTPUT_FILE to whatever file name you like with the avi file extension, “movie_title.avi” for example.
Sometime however, we have and ISO and not a physical dvd. For that, you need to change the dvd://1 to something like dvd://1/ISO_FILE
- Check if the file system at the destination is full!
List to be continued…
Recently got a Nintendo DSi for my child and one of the first things she asked was for her music to be copied there.
Since the device does not read mp3 files, we had to get them converted to aac, despite the fact that they have to have the m4a extension.
ffmpeg does a great job for converting several file formats, so after some googling I got this one line to convert all the stuff in one folder:
for f in *.mp3; do echo $f ; ffmpeg -i "$f" -acodec aac -ab 256k "${f%mp3}m4a" 2>/dev/null ; done
And it works like a charm