Trap Ctrl-C in a Bash script
How to trap Ctrl-C in a Bash script?
The piece of code:
# trap ctrl-c and call ctrl_c()
trap ctrl_c INT
function ctrl_c() {
echo
echo "Ctrl-C by user"
# do the jobs
exit
}
Similar Posts
How to Install Xen on Fedora as Domain-0 (Fedora 17)
ByEric MaThe new development of Xen and Linux kernel make it easy to install Xen on Fedora as the Domain-0 now. This post uses Fedora 17 as an example platform to introduce how to set up Domain-0 on Fedora Linux. Compared to our old method (https://www.systutorials.com/setting-up-stable-xen-dom0-with-fedora-xen-3-4-3-with-xenified-linux-kernel-2-6-32-13-in-fedora-12/) which requires manually compiled Xen and patched kernel, the current…
MySQL at Facebook
ByQ AFacebook uses lots MySQL databases. Any information about how Facebook scales MySQL? Some information on the Web: MySQL at Facebook’s page https://www.facebook.com/MySQLatFacebook?filter=1 A post by Ryan Thiessen, Database Operations at Facebook on Quora: http://www.quora.com/Facebook-Engineering/How-does-Facebook-structure-MySQL-so-that-it-is-robust-and-scalable And more: http://mashable.com/2011/12/15/facebook-timeline-mysql/ http://gigaom.com/2011/12/06/facebook-shares-some-secrets-on-making-mysql-scale/ http://www.wired.com/wiredenterprise/2011/12/facebook-timeline-anatomy “A lot of people are surprised that for this shiny new thing for Facebook, we’re using…
How to Create, Mount, and Burn ISO Images on Linux
ByEric MaLinux has many tools for mounting, creating and burning iso image files. In this posts, I will introduce how to use the iso files on Linux. The tools we used in this post are mount, genisoimage and wodim. 1. Mount an iso image file Mounting an iso on Linux is straightforward. We mount the iso…
How to SSH to Linux Hosts for Beginners
ByEric MaThis is a simple tutorial for beginners to SSH to a Linux host. This is quite easy with the easy-to-use software freely available but the beginners need a tutorials to start with. Hence, I write this tutorial about how to ssh to a Linux host. This tutorial is for users on Windows. 1. Download a…
Fix the Grub issue with Windows 8 UEFI after installing Fedora 20
ByEric MaGrub fails to boot with Windows 8 UEFI after installing Fedora 20. The Grub entry for Windows 8 is: menuentry ‘Windows Boot Manager’ { chainloader /EFI/Microsoft/Boot/bootmgfw.efi boot } How to fix it? The set root= is missing. You probably can fix this by specifying the root manually: menuentry ‘Windows Boot Manager’ { insmod part_gpt set…
Customizing Fonts in Gnome 3
ByEric MaGnome 3 is great and I can understand that it emphasizes on simplicity. However, the configuration settings for Gnome 3 does not provide tools for certain functions that I need. One of them is customizing the fonts. This post will summarize the tools/tips that I adopted to customize the fonts in Gnome 3. Usually, the…