diff options
| author | sajolida <sajolida@pimienta.org> | 2015-11-11 09:19:05 +0000 |
|---|---|---|
| committer | sajolida <sajolida@pimienta.org> | 2015-11-11 09:19:05 +0000 |
| commit | 2341ef5598d8a50677576b0adcff51f7c3955e2e (patch) | |
| tree | dfc673f4b0969badbb8536cae18f1e91e06c9fba | |
| parent | da55f022a2014485487cbc31efb19e1a95faa58e (diff) | |
Remove more patches (#10508)
| -rw-r--r-- | config/chroot_local-patches/do_not_run_gdomap_initscript.diff | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/config/chroot_local-patches/do_not_run_gdomap_initscript.diff b/config/chroot_local-patches/do_not_run_gdomap_initscript.diff deleted file mode 100644 index 33fb265..0000000 --- a/config/chroot_local-patches/do_not_run_gdomap_initscript.diff +++ /dev/null @@ -1,10 +0,0 @@ -Tails specific: gdomap is not used between processes running as the same user -on the same host. No need to stop it properly on shutdown either. - ---- chroot.orig/etc/init.d/gdomap 2012-09-24 10:10:20.733885443 +0200 -+++ chroot/etc/init.d/gdomap 2012-09-24 10:05:12.829042105 +0200 -@@ -6,2 +6,2 @@ --# Default-Start: 2 3 4 5 -+# Default-Start: --# Default-Stop: 0 1 6 -+# Default-Stop: |