From ebf8a5222434ed15b16b3fb8015ebedac795bb65 Mon Sep 17 00:00:00 2001 From: John Turner Date: Wed, 20 Aug 2025 18:15:24 -0400 Subject: rework how user files work Instead of assuming all user files exist under $HOME, we create a .file.user module and typeattribute. This allows user files to exist in places outside of $HOME. Also we changed filecon so that $HOME itself is user.home.file rather than home.file. --- src/file/userfile/sshfile.cil | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 src/file/userfile/sshfile.cil (limited to 'src/file/userfile/sshfile.cil') diff --git a/src/file/userfile/sshfile.cil b/src/file/userfile/sshfile.cil new file mode 100644 index 0000000..f2c4597 --- /dev/null +++ b/src/file/userfile/sshfile.cil @@ -0,0 +1,21 @@ +;; Copyright (C) 2025 John Turner + +;; This program is free software: you can redistribute it and/or modify +;; it under the terms of the GNU General Public License as published by +;; the Free Software Foundation, either version 3 of the License, or +;; (at your option) any later version. + +;; This program is distributed in the hope that it will be useful, +;; but WITHOUT ANY WARRANTY; without even the implied warranty of +;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;; GNU General Public License for more details. + +;; You should have received a copy of the GNU General Public License +;; along with this program. If not, see . + +(block ssh + (block user + (block file + (blockinherit .file.user.template) + (filecon "HOME_DIR/\.ssh" dir file_context) + (filecon "HOME_DIR/\.ssh/.*" file file_context)))) -- cgit v1.2.3