@@ -1297,6 +1297,8 @@ function reset_tripwire {
echo '
' | reset-tripwire
+ echo ''
+ echo $'Tripwire is now reset'
any_key
}