Rename files that confuse me every time (#4363)

compiler-explorer · Nov 29, 2022 · 00ea739 · 00ea739
1 parent 31cc95a
commit 00ea739
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 4 deletions.
diff --git a/etc/config/execution.defaults.properties b/etc/config/execution.defaults.properties
@@ -6,8 +6,8 @@ wineServer=
 winePrefix=/tmp/ce-wine-prefix
 firejail=firejail
 nsjail=nsjail
-nsjail.config.execute=etc/nsjail/execute.cfg
-nsjail.config.sandbox=etc/nsjail/sandbox.cfg
-firejail.profile.execute=etc/firejail/execute.profile
-firejail.profile.sandbox=etc/firejail/sandbox.profile
+nsjail.config.execute=etc/nsjail/compilers-and-tools.cfg
+nsjail.config.sandbox=etc/nsjail/user-execution.cfg
+firejail.profile.execute=etc/firejail/compilers-and-tools.profile
+firejail.profile.sandbox=etc/firejail/user-execution.profile
 firejail.profile.wine=etc/firejail/wine.profile
diff --git a/etc/firejail/execute.profile → etc/firejail/compilers-and-tools.profile b/etc/firejail/execute.profile → etc/firejail/compilers-and-tools.profile
diff --git a/etc/firejail/sandbox.profile → etc/firejail/user-execution.profile b/etc/firejail/sandbox.profile → etc/firejail/user-execution.profile
diff --git a/etc/nsjail/execute.cfg → etc/nsjail/compilers-and-tools.cfg b/etc/nsjail/execute.cfg → etc/nsjail/compilers-and-tools.cfg
diff --git a/etc/nsjail/sandbox.cfg → etc/nsjail/user-execution.cfg b/etc/nsjail/sandbox.cfg → etc/nsjail/user-execution.cfg