From 1f686efe967745af41a0dd996d97ec339febd122 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 18 Mar 2021 15:27:04 +0100 Subject: [PATCH] grant coqidetop.top network access --- linux/snap/snapcraft.yaml.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/linux/snap/snapcraft.yaml.in b/linux/snap/snapcraft.yaml.in index 7be70d949c..8c33b05202 100644 --- a/linux/snap/snapcraft.yaml.in +++ b/linux/snap/snapcraft.yaml.in @@ -55,7 +55,7 @@ apps: plugs: [home] command: coq-platform/@@COQ_VERSION@@/bin/coq_wrapper_coq_makefile coqidetop: - plugs: [home,network-bind] + plugs: [home,network-bind,network] command: coq-platform/@@COQ_VERSION@@/bin/coq_wrapper_coqidetop.opt