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
}
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
}
How to speed Up Firefox DNS Lookup in Linux: 1. Close IPV6 support # echo “alias net-pf-10 off” >> /etc/modprobe.conf # echo “alias ipv6 off” >> /etc/modprobe.conf Type “about:config” into the address line and enter. Set “network.dns.disableIPv6” to “true” 2. Some other tweaks Type “about:config” into the address line and enter. Set “network.http.pipelining” to “true”…
How to remove trailing spaces at the end of each line in a file on Linux? Use this script with sed: cat your_file | sed ‘s/[[:blank:]]+$//g’ Read more: How to remove trailing / in path in Bash? How to encode spaces in curl GET request URL on Linux? How to cut by multiple spaces in…
The latest tools for upgrading Fedora is FedUp, please check How to upgrade Fedora 19 to Fedora 20 through the network. Please consider PreUpgrade for upgrading Fedora. This is the recommended method. This post makes a list of actions should be done to upgrade Fedora using yum. Please note that this is for experienced users…
How to capture a photo with the remote adapter? You can take a shot by taping the volume-up button of the remote adapter on the earphone. In this way, you can achieve supersteady shots using the earphones as a shutter release. Read more: How to capture camera photo/video using MPlayer on Linux? How to capture…
The Xen solutions including installing and configuring Dom0 and DomU are summarized here. LVM volumes as backing for DomU’s file system is an appealing solution to Xen VBD. LVM volumes can dynamically grow/shrink and snapshot. These features make it simple and fast to duplicate DomU and adding storage to DomU. LVM backed DomU is recommended….
I want to rename a user’s username on Linux. For example, rename user u1 to user1. How to change a user’s username on Linux? You can use the usermod command to modify the user’s info. For changing the user name, you can use the -l option: -l, –login NEW_LOGIN The name of the user will…