mirror of https://github.com/docker/docs.git
Packaging|ubuntu, issue #601: Allow packaging prerm to do its job
This commit is contained in:
parent
c792c0a6c9
commit
41cdd9b27f
|
@ -1,4 +1,4 @@
|
||||||
#!/bin/sh
|
#!/bin/sh
|
||||||
|
|
||||||
# Stop docker
|
# Stop docker
|
||||||
/sbin/stop docker
|
if [ "`pgrep -f '/usr/bin/docker -d'`" != "" ]; then /sbin/stop docker; fi
|
||||||
|
|
Loading…
Reference in New Issue