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 capture camera photo/video using MPlayer on Linux? You can watch the video from the camera by MPlayer: # mplayer tv:// Note that you need the root privilege to play the tv://. You can use mplayer to capture photos by: # mplayer -vo png -frames 3 tv:// If will store files 0000000{1..3}.png in the…
Can I get a non-self-assigned and free Web server SSL/TLS certificates for my https websites? Asking the users to accept the self-assigned SSL certificates for my websites is not very convenient. Please check https://letsencrypt.org/ . PS: StartSSL used to provide 1 year free SSL. But StartCom CA is closed since Jan. 1st, 2018. Read more:…
How to test whether a user account, say linuxuser, already exist on Linux? You may make use of id which tries to get user IDs. The Bash code snippet is as follows. user=hello id -u $user >/dev/null 2>&1 if [ “$?” == “0” ]; then echo “user $user already exist.” else echo “user $user doesn’t…
How to input smiley faces in iPhone? I use Emoji Free app to enable the Emoji input methods. It is quite good and enables inputing of many nice smiley faces and icons. The app from App Store: Emoji Free app. Read more: Changing iPhone Holiday Calendar to Your Local One How to Play YouTube Video in…
The LaTex packages in CentOS 7 Linux is not sufficient enough. I would like to Install Tex Live such as Tex Live 2016. How could I install it on CentOS 7? The best way I found is to use the texlive offical installation tool to install the full packages for texlive 2016. It will take…
Which simple and basic image editors are good on Linux like the paint program on Windows? GIMP is great but too high weighted for normal usage like resizing, cropping, image annotation with text. Pinta is a free and open source drawing/editing program that is easy to edit images. It is available on many Linux distros….