How to run a process with a timeout in Bash? [duplicate]

by

Use the timeout command:

timeout 15s command

Note: on some systems you need to install coreutils, on others it’s missing or has different command line arguments. See an alternate solution posted by @ArjunShankar . Based on it you can encapsulate that boiler-plate code and create your own portable timeout script or small C app that does the same thing.

More Related Contents:

  1. Bash: wait with timeout
  2. How do I prompt for Yes/No/Cancel input in a Linux shell script?
  3. Environment variable substitution in sed
  4. ./configure : /bin/sh^M : bad interpreter [duplicate]
  5. What does “&” at the end of a linux command mean?
  6. The ‘eval’ command in Bash and its typical uses
  7. How to parse XML using shellscript? [duplicate]
  8. How to join multiple lines of file names into one with custom delimiter?
  9. Is there a way to ‘uniq’ by column?
  10. Linux: copy and create destination dir if it does not exist
  11. How to determine whether a given Linux is 32 bit or 64 bit?
  12. Why is a tilde in a path not expanded in a shell script?
  13. Get program execution time in the shell
  14. How to handle more than 10 parameters in shell
  15. Edit shell script while it’s running
  16. Linux bash: Multiple variable assignment
  17. How to sort a file in-place?
  18. Finding contents of one file in another file
  19. Changing default shell in Linux [closed]
  20. When to wrap quotes around a shell variable?
  21. How to get file creation date/time in Bash/Debian?
  22. How do I remove newlines from a text file?
  23. write a shell script to ssh to a remote machine and execute commands
  24. How to join multiple lines of filenames into one with custom delimiter
  25. What is the difference between “./somescript.sh” and “. ./somescript.sh”
  26. How to set process group of a shell script
  27. Write a bash shell script that consumes a constant amount of RAM for a user defined time [closed]
  28. How to create a dynamic variable and assign value to it?
  29. awk – how to delete first column with field separator
  30. How to create a link to a directory on linux [closed]

Leave a Comment