| 
				
			 | 
			
			
				@@ -1360,7 +1360,7 @@ function reset_tripwire { 
			 | 
		
	
		
			
			| 
				1360
			 | 
			
				1360
			 | 
			
			
				     else 
			 | 
		
	
		
			
			| 
				1361
			 | 
			
				1361
			 | 
			
			
				         echo $'ERROR: tripwire database was not created' 
			 | 
		
	
		
			
			| 
				1362
			 | 
			
				1362
			 | 
			
			
				     fi 
			 | 
		
	
		
			
			| 
				1363
			 | 
			
				
			 | 
			
			
				-    any_key_verify 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1363
			 | 
			
			
				+    any_key 
			 | 
		
	
		
			
			| 
				1364
			 | 
			
				1364
			 | 
			
			
				 } 
			 | 
		
	
		
			
			| 
				1365
			 | 
			
				1365
			 | 
			
			
				  
			 | 
		
	
		
			
			| 
				1366
			 | 
			
				1366
			 | 
			
			
				 function format_drive { 
			 | 
		
	
	
		
			
			| 
				
			 | 
			
			
				@@ -2217,7 +2217,7 @@ function menu_top_level { 
			 | 
		
	
		
			
			| 
				2217
			 | 
			
				2217
			 | 
			
			
				             3) menu_backup_restore;; 
			 | 
		
	
		
			
			| 
				2218
			 | 
			
				2218
			 | 
			
			
				             4) show_firewall;; 
			 | 
		
	
		
			
			| 
				2219
			 | 
			
				2219
			 | 
			
			
				             5) show_tripwire_verification_code 
			 | 
		
	
		
			
			| 
				2220
			 | 
			
				
			 | 
			
			
				-               any_key;; 
			 | 
		
	
		
			
			| 
				
			 | 
			
				2220
			 | 
			
			
				+               any_key_verify;; 
			 | 
		
	
		
			
			| 
				2221
			 | 
			
				2221
			 | 
			
			
				             6) reset_tripwire;; 
			 | 
		
	
		
			
			| 
				2222
			 | 
			
				2222
			 | 
			
			
				             7) menu_app_settings;; 
			 | 
		
	
		
			
			| 
				2223
			 | 
			
				2223
			 | 
			
			
				             8) /usr/local/bin/addremove 
			 |