How to convert a latex document with figures to a HTML file? htlatex (On Fedora, it is in the package texlive-tex4ht) can generate the html from a latex doc better than latex2html. From my experience, it can produce a better html file.
How to rearrange Alt, Ctrl and Win keys on Linux: Win as Alt and Ctrl/Alt as Ctrl? On Linux, the Win key is seldom used. Mapping the Alt keys which are close to my thumb is damn convenient for Emacs users. Hence, the keyboard at the bottom line would look like: ———————————————————— |Ctrl|Alt|Ctrl| Space Bar…
gthumb hangs at startup on Fedora when I plugged my iPhone on the USB. How to solve this? You need to unmount the iPhone: Open nautilus. Press F9 (may need twice) to open the side panel if it is not opened yet. Find your iPhone on the side panel and unmount it by click the…
How to install Fedora 20 on a mbr/ms-dos disk? The nogpt and noefi trick seems do not work. This is a bug in F20 installer that still believes it is in UEFI native mode even if the noefi parameter is passed. Solution: There is an updates image for the installer which fixes this issue available…
How to quickly find out which rpm package provides a command on Fedora Linux? As an example, we want to find out which package provides the ping command. You can quickly find it out by rpm: $ rpm -qf `which ping` It will give iputils-20121221-2.fc19.x86_64 Alternatively, you can use yum: $ yum provides `which ping`…
How to debug/check network-related driver information on Linux? Several commands/tools that you may find usefull: Messages: dmesg grep NetworkManager /var/log/messages lshw: list hardware lshw -c network lsusb: list USB devices lsusb rfkill: enabling and disabling wireless devices rfkill unblock all rfkill event iwconfig: configure a wireless network interface iwconfig ifconfig: configure a network interface ifconfig
How to upgrade Fedora 19 to Fedora 20 through the network? The tool for Fedora to upgrade the distribution is FedUp. Check this page for how to upgrade Fedora 19 to Fedora 20: http://fedoraproject.org/wiki/FedUp#How_Can_I_Upgrade_My_System_with_FedUp.3F Be sure to check the bugs in Fedora 20 before the upgrading: http://fedoraproject.org/wiki/Common_F20_bugs#Upgrade_issues Generally, it contains 3 steps: Preparation # yum…
Our servers run inside our own cluster and no firewall is needed. How to totally disable firewall or iptables on Fedora 20? Fedora 20 uses FirewallD as the firewall service. To totally disable firewalld: # systemctl disable firewalld # systemctl stop firewalld
iptables is plain old good. How to enable it after I disable firewalld? First, install the iptables-services package as root: # yum install iptables-services Then, start iptables service as root: # touch /etc/sysconfig/iptables # touch /etc/sysconfig/ip6tables # systemctl start iptables # systemctl start ip6tables # systemctl enable iptables # systemctl enable ip6tables
I have a large IMAP email account which contains many emails in a rich structure of directories. How to back up the whole IMAP account to my local computer? The requirements: Automatically downloading these files. There are many directories, and copying-pasting emails will take too much time. Keep the directory structures which are used to…
I had a TP-Link TL-WN725N v2 USB wireless adapter. But it seems the kernels in Fedora 19 have not yet included drivers for it. How to install drivers for TL-WN725N v2 on Fedora 19? The driver is under development. You can find the source here and in the drivers/staging in the Linux kernel. If you…
I have multiple video files, say video1.avi, video2.avi and video3.avi. How to concatenate these multiple video file to a single file together on Linux? You can use mencoder to concatenate multiple video files to one file. For installing mencoder on Fedora, please check: http://www.systutorials.com/1493/mplayer-on-fedora/ For the question, the command is: mencoder -oac copy -ovc copy…
How to change the fonts of gnome-shell for gnome3? Like the system bar. The fonts of gnome-shell is described in its own theme. For the default gnome-shell, you need to edit the file as root: /usr/share/gnome-shell/theme/gnome-shell.css Right, it is a css file. Find the font-family keyword and change the corresponding fonts. Then you can restart…
How to change the fonts used in Gnome 3? The default configuration tool of gnome does not provide an option to change the fonts. However, the gnome-tweak-tool provides it. If you have not installed it, you need to install it first. On Fedora, run # yum install gnome-tweak-tool. Then you can run gnome-tweak-tool and set…
How to install sbt for scala on Fedora Linux? It is not included in the default Fedora repository although scala is included. The download page of scala-sbt.org provides the RPM package. You can install the sbt rpm package by yum. We only need the URL to the RPM package. Here, let take version 0.13.1 as…
How to convert a latex file to a single page html? htlatex is a good choice. On Fedora, install it by yum install texlive-tex4ht. To generate the HTML page from a latex file doc.tex: htlatex doc You can use the latex2html (can be installed on Fedora by yum install latex2html). $ latex2html -split +0 -info…
How to convert HTML file to a text on Linux? You can use html2text (can be installed on Fedora by yum install html2text): $ html2text ${html_file} ${html_file} is the html file to be converted. The converted text will be printed to the STDOUT. You can redirect it to a file if it is needed. Adding…
How to use ibus for inputting Chinese in Cinnamon on Fedora 19? By default, ibus is not started. If I manually start it by run $ ibus-daemon The ibus daemon is started and an icon appears in the tray area. However, no Chinese is inputted to the programs even it is turned on in the…
Cinnamon does not work well with gdm. And there is no meaning to use gdm when using Cinnamon. On Fedora, the default one id gdm. How to replace gdm with lightdm on Fedora? First, install lightdm if it is not installed yet: # yum install lightdm lightdm-gtk Then, disable gdm service and make the lightdm…
Any GUI tools to crop PDF file margins on Linux? I use krop: http://arminstraub.com/computer/krop krop is a simple graphical tool to crop the pages of PDF files. To install krop on Fedora: # yum install krop