From 3bd3d923d32144b4e28f9f597edf74ee422a9b54 Mon Sep 17 00:00:00 2001 From: Antoine Chauvin <1549486+volgar1x@users.noreply.github.com> Date: Wed, 20 Apr 2022 01:03:04 +0200 Subject: [PATCH] fix: add priority field in debian/control (#3865) Co-authored-by: Lucas Nogueira --- .changes/debian-priority.md | 5 +++++ tooling/bundler/src/bundle/linux/debian.rs | 1 + 2 files changed, 6 insertions(+) create mode 100644 .changes/debian-priority.md diff --git a/.changes/debian-priority.md b/.changes/debian-priority.md new file mode 100644 index 000000000..2078985b7 --- /dev/null +++ b/.changes/debian-priority.md @@ -0,0 +1,5 @@ +--- +"tauri-bundler": patch +--- + +Set the Debian control file `Priority` field to `optional`. diff --git a/tooling/bundler/src/bundle/linux/debian.rs b/tooling/bundler/src/bundle/linux/debian.rs index 66d1c6d65..50ce8ba1f 100644 --- a/tooling/bundler/src/bundle/linux/debian.rs +++ b/tooling/bundler/src/bundle/linux/debian.rs @@ -203,6 +203,7 @@ fn generate_control_file( writeln!(file, " {}", line)?; } } + writeln!(file, "Priority: optional")?; file.flush()?; Ok(()) }