1 - Packages for Debian
a/ Old Versions
- apt-get update: update the list of the packages that you can download from internet. It is good to do it once a month.
- apt-get install name: install the package name with all the dependencies
- apt-get upgrade : upgrade all installed packages. It is good to do it once a month.
- apt-cache search name: look for packages with name similar to name
b/ New versions:
- aptitude update
- aptitude install
- aptitude upgrade
c/ Configuration
2 - Install a new version of the rtai module
A few usefull commands:
- lsmod
- rmmod name
- insmod name.o
Link the module to the kernel in :
- /lib/modules/kernel_version/rtai/name.o
The actual
kernel_version is 2.4.20-rthal5
3 - Linux tricks
nm -A `find . -name "*.a"`| grep function_name
for i in `dpkg --get-selections | grep -v deinstall | awk '{print $1}'`;do apt-get --reinstall install $i;done
February 2007
- Installation Sarge (Xavier Grave, IPN)
August 2007
Avril 2008
- edit /etc/apt/sources.list. The final file should look like that:
