Linux security

Repair SELinux file contexts persistently with semanage and restorecon

The Tryssh team ·

For SELinux file contexts and restorecon, begin by proving which system and state you are about to affect. SELinux path labeling policy maps pathname patterns to expected contexts; restorecon applies that policy while chcon creates a local label that relabeling may erase. The safest useful answer is therefore an evidence sequence: identify the target, capture its effective state, make one bounded change, and verify through a path independent of the command that accepted the change.

TL;DR: The persistent mapping matches policy, restorecon applies it, and required access succeeds without new AVC denials. Start with getenforce, stop if the evidence instead shows that the chosen type grants the wrong domain, a broader rule wins, or a bind mount exposes another label, and keep this recovery action ready: delete the candidate fcontext mapping, restore the prior mapping, run restorecon, and verify the service plus AVC log.

Assumed audience: Linux administrators who can retain an out-of-band root session and distinguish discretionary permissions from kernel and service confinement. This field guide assumes a controlled maintenance window and working recovery access.

Repair SELinux file contexts persistently with semanage and restorecon identity, evidence, action, and proof map

Direct answer and success condition

The success condition for SELinux file contexts and restorecon is not a zero exit code. It is that the persistent mapping matches policy, restorecon applies it, and required access succeeds without new AVC denials. A command may return successfully while a controller is still converging, a client is using cached state, a remote dependency is unavailable, or the wrong account, namespace, region, host, database, repository, or process accepted the request.

Use the task boundary—identity, discretionary access, capabilities, PAM, sudo policy, service sandboxing, Linux security modules, audit, and kernel runtime settings—to decide what the result proves. The candidate action belongs only at the first layer whose observed state contradicts the desired outcome. If the baseline cannot locate that contradiction, do not make the action broader.

Working model

For Linux security controls, use this operational model: Linux evaluates identity and discretionary permissions, then applies capabilities, service restrictions, security-module policy, and other kernel controls before allowing a sensitive operation. This model matters for SELinux file contexts and restorecon because SELinux path labeling policy maps pathname patterns to expected contexts; restorecon applies that policy while chcon creates a local label that relabeling may erase. It also separates four forms of evidence that are often collapsed:

  1. Declared state: files, manifests, playbooks, policies, arguments, or API requests say what should happen.
  2. Effective state: the running tool or service reports what it actually loaded and selected.
  3. Resource state: processes, objects, data, network paths, and queues reflect the change.
  4. Outcome state: the original user, automation, or recovery workflow succeeds from the relevant vantage point.

Declared state without effective state is only intent. Effective state without outcome state is only partial convergence. Keep these labels in the change record so another operator can tell what was measured.

Preflight: identity, scope, and recovery

Keep an authenticated root recovery shell open, save effective policy, and validate syntax with the control's native checker before tightening login, privilege, or kernel settings.

Record the current UTC time, operator identity, tool version, exact target identifiers, last successful execution, recent related changes, and the owner of the workload. Save the effective configuration or object state using its supported read-only interface. Do not store credentials, complete environment dumps, private customer data, or unrestricted topology in the ticket.

The recovery path for this guide is explicit: delete the candidate fcontext mapping, restore the prior mapping, run restorecon, and verify the service plus AVC log. Rehearse the targeting syntax and confirm that recovery does not depend on the same account, network path, key, state file, database, repository, or process being changed.

Stop before changing state when any of these statements is true:

  • The target can be selected by a default or ambiguous alias.
  • The current configuration or binding cannot be reconstructed.
  • The only privileged or remote session would be put at risk.
  • The command affects an unbounded host, key, object, snapshot, branch, or resource set.
  • The expected output cannot be distinguished from stale, cached, or partial state.

Capture the baseline

Run the following commands individually after replacing example identifiers deliberately:

getenforce
ls -Zd /srv/example /var/lib/example
matchpathcon /srv/example/data
semanage fcontext -l | rg '/srv/example'

For SELinux file contexts and restorecon, classify the output before proposing a fix:

  • Expected evidence: the persistent mapping matches policy, restorecon applies it, and required access succeeds without new AVC denials.
  • Abnormal evidence: the chosen type grants the wrong domain, a broader rule wins, or a bind mount exposes another label.
  • Inconclusive evidence: no output, permission errors, incomplete history, disabled instrumentation, a different version, or a different control plane can all hide the relevant state. Confirm those assumptions rather than translating absence into health.

Preserve timestamps and exit statuses for decisive observations. Prefer machine-readable output when it can be filtered without collecting secrets. Compare a healthy peer only by equivalent effective fields; copying its entire configuration can introduce a second problem.

Controlled action

This is state-changing example syntax. It is intentionally presented after the baseline and must not be pasted with example targets:

sudo semanage fcontext -a -t var_lib_t '/srv/example(/.*)?'
sudo restorecon -Rv /srv/example

The action is justified only if the baseline predicts its effect at the named boundary. For SELinux file contexts and restorecon, the principal risk is that assigning a permissive generic type can bypass intended domain separation across the entire path tree. Review the exact expansion of variables, globs, resource addresses, inventory patterns, database identities, repository locations, and cloud regions before approval.

Prefer a canary, dry run, saved plan, isolated restore, configuration validator, transaction, immutable artifact, or runtime drain when the platform supplies one. Record the command, approver, UTC time, and expected convergence interval. Do not stack unrelated cleanup, restart, permission, and configuration actions into the same observation window.

Independent verification

Repeat the state inspection and then exercise the original path:

ls -Zd /srv/example /srv/example/data
matchpathcon /srv/example/data
sudo ausearch -m AVC -ts recent

Verification for SELinux file contexts and restorecon must answer five questions:

  1. Did the intended identity accept the operation?
  2. Did effective state converge to the reviewed value?
  3. Did the underlying resource or data path change as predicted?
  4. Did the real consumer succeed from an independent vantage point?
  5. Did adjacent safety signals—capacity, latency, errors, replication, audit, or persistence—remain healthy?

If ls -Zd /srv/example /srv/example/data passes but the consumer still fails, the local boundary may be repaired while another layer remains broken. Keep the new evidence, stop making the change broader, and move to the next falsifiable boundary.

Decision branches

The baseline contradicts the guide

If the chosen type grants the wrong domain, a broader rule wins, or a bind mount exposes another label, the candidate action no longer follows from the evidence. Re-establish identity and scope, shorten the observation window, and formulate a mechanism that the next read-only command can disprove.

The command succeeds but nothing converges

A successful sudo semanage fcontext -a -t var_lib_t '/srv/example(/.*)?' proves only that one interface accepted the request. It may not prove persistence, controller completion, process reload, data compatibility, replication, traffic admission, or client refresh. Inspect those transitions in order.

The change makes the outcome worse

Execute the prepared recovery: delete the candidate fcontext mapping, restore the prior mapping, run restorecon, and verify the service plus AVC log. Preserve the failed candidate, event times, and relevant logs. Avoid repeated restarts, broad resets, garbage collection, pruning, history rewriting, or cleanup that can erase the evidence needed to explain the failure.

The result is mixed

Mixed results normally mean scope differs across hosts, workers, replicas, zones, clients, branches, or repositories. Partition the evidence by identity instead of averaging it. Hold further rollout until each partition has an explicit disposition.

Review checklist

  • Confirm the operator, account, region, namespace, host, resource, repository, database, or branch.
  • Print the installed tool version and resolve the effective configuration.
  • Capture the baseline and name one observation that would disprove the proposed mechanism.
  • Mark sudo semanage fcontext -a -t var_lib_t '/srv/example(/.*)?' as state-changing in review.
  • Keep recovery access independent and test the exact rollback target.
  • Change one layer and wait for its documented convergence boundary.
  • Repeat the original user or automation path, not only the control-plane query.
  • Watch error rate, latency, capacity, data durability, audit, and persistence after the change.
  • Remove temporary credentials, traces, restored data, debug settings, and candidate resources under policy.
  • Update this field guide when observed behavior differs from the source-reviewed model.

Investigate it in Tryssh

Tryssh keeps the target, read-only evidence, approval boundary, command output, and recovery decision in one host conversation.

Tryssh can help preserve this evidence trail and place a state-changing command behind human approval. It cannot decide the correct production target, authorize a cloud or database change, guarantee backup completeness, or replace independent recovery access.

Evidence and review status

This SELinux file contexts and restorecon field guide was source-reviewed on 2026-07-29 against current upstream or first-party documentation. Commands use example identifiers and were not executed against every distribution, service version, provider, database topology, repository backend, network, or workload. Provider-managed services may expose a different control plane or restrict local commands.

The article makes no ranking guarantee and does not treat documentation review as reproduction. Validate installed versions, permissions, feature support, recovery behavior, and billing or data-retention consequences in your environment.

Limitations and trade-offs

Assigning a permissive generic type can bypass intended domain separation across the entire path tree. A narrow safe action may take longer than a broad reset, and a strong verification plan may require temporary capacity or an isolated restore target. Those costs are part of reliable operations, not optional ceremony.

Do not use a search result as authority to change production. The live system, reviewed policy, upstream versioned documentation, and accountable operator remain the sources of truth.

Continue the cluster

Next, read nftables ruleset backup or AppArmor enforce profile. For broader context, use the Linux security controls foundation guide and the SSH hardening checklist.

Sources and further reading