From 4491e7db3efd1419dd56530b016e03718047ccfb Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Wed, 6 Aug 2014 21:03:46 +0200 Subject: [PATCH] Replace tabs with spaces in quit_segfault_test.sh --- scripts/quit_segfault_test.sh | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/scripts/quit_segfault_test.sh b/scripts/quit_segfault_test.sh index 7d922f5f6..e367b53b7 100755 --- a/scripts/quit_segfault_test.sh +++ b/scripts/quit_segfault_test.sh @@ -1,11 +1,11 @@ #!/bin/bash echo > crash.log while :; do - exit=0 - while (( $exit == 0)); do - duration=$(($RANDOM%10000)) - python3 -m qutebrowser --debug ":later $duration quit" http://www.heise.de/ - exit=$? - done - echo "$(date) $exit $duration" >> crash.log + exit=0 + while (( $exit == 0)); do + duration=$(($RANDOM%10000)) + python3 -m qutebrowser --debug ":later $duration quit" http://www.heise.de/ + exit=$? + done + echo "$(date) $exit $duration" >> crash.log done