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
Auto indenting for OCaml code in Vim
ByQ AHow to set up auto indenting for OCaml code in Vim? The built-in indenting in Vim for OCaml seems not very good. Please check the post at https://www.systutorials.com/5212/auto-indenting-for-ocaml-code-in-vim-with-ocp-indent/ Read more: Auto Indenting for OCaml Code in Vim with ocp-indent Vim Indenting C/C++ Code How to get the assembly code for OCaml code generated by ocamlopt?…
How to run screen on a Linux host reporting “Cannot make directory ‘/var/run/screen’: Permission denied”?
ByEric MaI want to run screen on a remote host on which I do not have root/sudo privilege and screen is not installed. I can compile or copy the screen program that can run on the host. However, it reports: “Cannot make directory ‘/var/run/screen’: Permission denied” As screen is not installed on the host, the directory…
- Programming | Tutorial | Web
Fetching RSS Feed and Outputing Feed Items as HTML in PHP
ByEric MaIt is useful to show the feed items directly on the webpage as HTML content. In this ost, we will show one single PHP function that fetches an RSS feed and outputs the feed items as HTML elements in the web page. One example to fetch an RSS feed and output the itmes as HTML…
iOS contacts searching does not work showing “No result”
ByEric MaAfter upgrading to iOS 9.1, my iPhone contacts searching does not work showing “No results”. How to fix it? The trick is to create a group in your contacts. However, you can not do it on your iPhone. But there is a method: Sync your iPhone contact with iCloud (so you will need to enable…
How to Read File into String in PHP
ByEric MaRead content of a file to string (in this example, we echo it): // Get text from file function get_text($text_filename) { if ($text_filename != “”) { $text = “”; $text_file = fopen($text_filename, “r”); while (!feof($text_file)) { $text = $text . fgets($text_file, 4096); } fclose($text_file); if ( $text != “” ) { echo $text; } }…
How to Play Movie from Remote Host using MPlayer over SSH
ByEric MaMPlayer is a great movie player. SSH is a great tool to connect and transfer data over the network securely. Combining these 2 great tools together will be greater. You may already has a small server storing some movies or videos or music and playing them on your laptop will be convenient. In this post,…