--- a/UserPreferences.st	Tue May 15 15:07:12 2018 +0200
+++ b/UserPreferences.st	Tue May 15 17:00:06 2018 +0200
@@ -1042,6 +1042,18 @@
     ^ self at:#javaBridgeRunsInIDE put:aBoolean
 !
 
+logExecutedOSCommands
+    ^ self at:#logExecutedOSCommands ifAbsent:false
+
+    "
+     UserPreferences current logExecutedOSCommands
+    "
+!
+
+logExecutedOSCommands:aBoolean
+    ^ self at:#logExecutedOSCommands put:aBoolean
+!
+
 logHTTPRequests
     ^ self at:#logHTTPRequests ifAbsent:false
 !