[Pkg-ocaml-maint-commits] [advi] 05/05: make safer mode the default

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository advi.

commit a85ec4ccd6b786996e5a4bcfde5abfbeb74d0412
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Jan 23 21:22:34 2017 +0100

    make safer mode the default
---
 debian/NEWS           |  8 ++++++++
 debian/changelog      |  5 +++--
 debian/patches/safe   | 30 ++++++++++++++++++++++++++++++
 debian/patches/series |  1 +
 4 files changed, 42 insertions(+), 2 deletions(-)

diff --git a/debian/NEWS b/debian/NEWS
index 57ff705..33d01f5 100644
--- a/debian/NEWS
+++ b/debian/NEWS
@@ -1,3 +1,11 @@
+advi (1.10.2-3) unstable; urgency=low
+
+    The SAFER policy is now default of advi, that is no external commands
+    embedded in the dvi are executed. The user may change this policy
+    with the -exec or -ask flag.
+
+ -- Ralf Treinen <treinen at debian.org>  Mon, 23 Jan 2017 21:17:41 +0100
+
 advi (1.9.0~rc2-1) experimental; urgency=low
   
     The zadvi wrapper script has been removed from the advi package since
diff --git a/debian/changelog b/debian/changelog
index 518b2ab..afb3ee6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,9 +1,10 @@
-advi (1.10.2-3) UNRELEASED; urgency=low
+advi (1.10.2-3) unstable; urgency=low
 
   [Rémi Vanicat]
   * removing myself from uploaders
 
   [Ralf Treinen]
+  * patch safe: make Safer mode the default (closes: #583994)
   * advi-examples: drop spurious Suggests tk4.8 et mpg321
   * Standards-Version 3.9.8 (no change)
   * advi-examples: drop Conflicts: advi (<< 1.6.0-4) since that version is
@@ -16,7 +17,7 @@ advi (1.10.2-3) UNRELEASED; urgency=low
   * debhelper compat version 9
   * fix a spelling error in debian/README.
 
- -- Ralf Treinen <treinen at debian.org>  Mon, 23 Jan 2017 20:35:59 +0100
+ -- Ralf Treinen <treinen at debian.org>  Mon, 23 Jan 2017 21:23:56 +0100
 
 advi (1.10.2-2) unstable; urgency=low
 
diff --git a/debian/patches/safe b/debian/patches/safe
new file mode 100644
index 0000000..1ae91ff
--- /dev/null
+++ b/debian/patches/safe
@@ -0,0 +1,30 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: make Safer policy the default
+
+Index: advi/src/launch.ml
+===================================================================
+--- advi.orig/src/launch.ml	2017-01-23 21:18:55.789490078 +0100
++++ advi/src/launch.ml	2017-01-23 21:18:55.785490061 +0100
+@@ -77,7 +77,7 @@
+ 
+ (* Policy assignment. *)
+ let get_policy, set_policy =
+- let policy = ref Ask in
++ let policy = ref Safer in
+  (fun () -> !policy),
+  (function
+   | Safer -> policy := Safer
+Index: advi/doc/advi.1
+===================================================================
+--- advi.orig/doc/advi.1	2017-01-23 21:18:55.717489780 +0100
++++ advi/doc/advi.1	2017-01-23 21:19:54.069732113 +0100
+@@ -277,7 +277,8 @@
+ Reverse video is simulated by swapping the foreground and background colors
+ .TP
+ .B \-safer
+- Safer mode: external applications are never launched
++ Safer mode: external applications are never launched. This is the default on
++ the Debian version of advi.
+ .TP
+ .B \-scalestep REAL
+ Scale step for '<' and '>' (default sqrt (sqrt (sqrt 2.0)))
diff --git a/debian/patches/series b/debian/patches/series
index 2d3aa89..8e9d216 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -7,3 +7,4 @@ examples-makefiles
 examples-scripts
 really-clean
 drop-build-date
+safe

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/advi.git