From: Ralf Treinen <treinen@debian.org>
Date: Thu, 5 Sep 2019 13:01:02 +0200
Subject: make Safer policy the default

---
 doc/advi.1    | 3 ++-
 src/launch.ml | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/doc/advi.1 b/doc/advi.1
index a40c3f0..0a0a39f 100644
--- a/doc/advi.1
+++ b/doc/advi.1
@@ -277,7 +277,8 @@ DPI resolution of the screen (min. 72.27)))
 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/src/launch.ml b/src/launch.ml
index 38eaf96..d4e8ac2 100644
--- a/src/launch.ml
+++ b/src/launch.ml
@@ -77,7 +77,7 @@ type policy =
 
 (* Policy assignment. *)
 let get_policy, set_policy =
- let policy = ref Ask in
+ let policy = ref Safer in
  (fun () -> !policy),
  (function
   | Safer -> policy := Safer
