Z\EVES is a Z notation theorem proving program. It is an old and I think abandoned software, but used in some universities. Old Python 2.3 is needed for running it. . . . → Read More: How to run Z\EVES on Ubuntu 10.04
|
Why? Because it is funny Why? Because it is funny Today I wanted to update my virtual LXC Ubuntu and I got an error: mknod: `/lib/udev/devices/ppp’: Operation not permitted . . . → Read More: “mknod: `/lib/udev/devices/ppp’: Operation not permitted” when updating Ubuntu 10.04 on virtual LXC machine After installing Redmine on Ubuntu 10.04 Lucid Lynx from repositories (apt-get install redmine redmine-mysql) I got an error: Permission denied – /etc/redmine/default/session.yml . . . → Read More: How to solve Redmine error “Permission denied – /etc/redmine/default/session.yml” on Ubuntu 10.04 When trying to “aptitude upgrade” a diskless Ubuntu 10.04 machine I gen an arror: update-initramfs: Generating /boot/initrd.img-2.6.32-23-generic Running postinst hook script /usr/sbin/update-grub. /usr/sbin/grub-probe: error: cannot find a device for / (is /dev mounted?). User postinst hook script [/usr/sbin/update-grub] exited with value 1 dpkg: error processing linux-image-2.6.32-23-generic (–configure): subprocess installed post-installation script returned error exit . . . → Read More: Workaround “/usr/sbin/grub-probe: error: cannot find a device for / (is /dev mounted?)” on diskless Ubuntu This is just a quick workaround. After restarting my Ubuntu 10.04 server KVM virtual machines didn’t start. Tried manually: virsh # start saturn error: Failed to start domain saturn error: internal error unable to start guest: chardev: opening backend “pty” failed I needed a fast solution. Very fast googling and this gave me a . . . → Read More: KVM failed to start with error: internal error unable to start guest: chardev: opening backend “pty” failed Download newest version of Oracle SQL Developer for other platforms (a zip file). Install sun-java6-jre, debhelper and sqldeveloper-package packages. Fix a “dos2unix: not found” problem. Make a deb package from previously downloaded zip file. emanuelis@ramune:~/tmp$ make-sqldeveloper-package sqldeveloper-2.1.1.64.45-no-jre.zip make-sqldeveloper-package: Building sqldeveloper package in “/home/emanuelis/tmp”. Install this deb package as usual. emanuelis@ramune:~/tmp$ sudo dpkg -i sqldeveloper_2.1.1.64.45+0.2.3-1_all.deb . . . → Read More: How to Install Oracle SQL Developer on Ubuntu 10.04 Lucid Lynx Just create two symlinks… . . . → Read More: How to fix “dos2unix: not found” on Ubuntu 10.04 Lucid Lynx with tofrodos After changing Ubuntu to a newest Lucid Lynx 10.04 version. Madwimax from Ubuntu repositories doesn’t connect automatically when Samsung SWC-U200 modem is plugged in USB port. There is already a bug on Launchpad and the solution. I don’t know why but it didn’t work for me. Some day I will find out why. My . . . → Read More: How to Automatically Connect to WiMax Network Using Samsung SWC-U200 and madwimax on Ubuntu 10.04 |
|
|
|
Copyright © 2012 Emanuelis Norbutas - All Rights Reserved |
||
