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
|
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 Today I had to convert almost 5000 filenames with international symbols to UTF8. Some Googling and convmv (mirror) helped me. It is a very useful utility written in perl. Used it on Solaris and Ubuntu Linux. 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 So you have something inetresting to show to the world or just to watch yourself using a webcam? It is very simple if you use Linux. . . . → Read More: How to Stream Your Webcam on the Net So you are short with current swap space (or no swap at all) and don’t want to change your partitions. Then swap to file. Make an empty file (fill with zeros from /dev/zero): root@plonas:/# dd if=/dev/zero of=/swap bs=1024 count=1048576 Here bs means block size in bytes, count – a number of blocks. Let’s say . . . → Read More: How to Use a Swap File on Linux (updated at 2011/02/10 – see comments) We need: tftp, DHCP and NFS servers. May be in one physical machine. Some temporary storage: a HDD or Flash Drive. Ubuntu CD-ROM or bootable Flash Drive or configured Network Install. Any version of Ubuntu (Desktop or Server), Kubuntu or Xubuntu will do. I used a bootable Ubuntu . . . → Read More: How to Network Boot a Diskless Ubuntu 10.04 This is how I run Oracle Applications (E-Business Suite) forms on my Ubuntu 10.04 Lucid Lynx x86_64. . . . → Read More: How to Run Oracle Applications (E-Business Suite) on Linux Specifically, how to change the small disks to big ones, without any downtime. . . . → Read More: How to increase disk capacity without reboot |
|
|
|
Copyright © 2012 Emanuelis Norbutas - All Rights Reserved |
||
