Author: Ralf Treinen <treinen@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)))
