Skip to content

Restore the legacy Dojo workspace marker - #269

Merged
zardus merged 1 commit into
mainfrom
pwnshop-legacy-workspace-marker
Aug 1, 2026
Merged

Restore the legacy Dojo workspace marker#269
zardus merged 1 commit into
mainfrom
pwnshop-legacy-workspace-marker

Conversation

@zardus

@zardus zardus commented Aug 1, 2026

Copy link
Copy Markdown
Member

Summary

  • recreate /run/dojo/sys/workspace/privileged for local pwnshop workspaces
  • expose the legacy standard-workspace value zero plus newline with mode 0444
  • keep workspace practice mode separate from challenge privilege and runtime selection

Why

Production Dojo provides this file through its read-only DojoFS mount. The local Nix workspace does not. Legacy Green /usr/local/bin/vm helpers read it on every non-root invocation and otherwise fail with FileNotFoundError. Restoring this ambient workspace contract centrally avoids changing any challenge.

Verification

  • targeted formatter check: clean
  • workspace-agent packages build with go test ./...
  • independent mainline workspace launch as uid 1000: value zero, mode 0444
  • integration-stack real solves from kernel-security, speculative-execution, and system-exploitation: 3 challenges / 6 testcases

CI prerequisite

The formatter-only fix in #271 is merged into main.

@zardus
zardus force-pushed the pwnshop-legacy-workspace-marker branch from a61a929 to cdabcfe Compare August 1, 2026 06:04
@zardus
zardus merged commit fb6d908 into main Aug 1, 2026
5 checks passed
@zardus
zardus deleted the pwnshop-legacy-workspace-marker branch August 1, 2026 06:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant