remove hardcoded 'docker' in message of dockerrc #255

mviereck · Aug 27, 2020 · 392acbb · 392acbb
1 parent 76e8ebb
commit 392acbb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/x11docker b/x11docker
@@ -5960,7 +5960,7 @@ $Wmdockercommand"'
   echo '[ -z "$Pid1pid" ] && error "dockerrc(): Did not receive PID of PID1 in container.
   Maybe the container immediately stopped forunknown reasons.
   Output of \"docker ps | grep x11docker\":
-$(docker ps | grep x11docker)
+$($Dockerexe ps | grep x11docker)
   
   Content of container log:
 $(rmcr < '$Containerlogfile' )"'