chore: rename device_owner to agent_devenv_user and improve home handling #13

Merged
SethFalco merged 1 commit from chores into main 2026-10-21 15:43:33 +01:00
Owner

See commit message(s).

See commit message(s).
chore: rename device_owner to agent_devenv_user and improve home handling
All checks were successful
ci/woodpecker/pr/ci Pipeline was successful
9d462a94ad
I learned recently that while ~/ is used to access one's own home directory,
one can also use ~user to access another user's home directory.

For example ~ansible for /home/ansible, ~maid for /home/maid, or ~root for /root.

The way we hardcoded home directories before would've only worked on Linux for
a non-root user using the default location for their home.

Now it would work even if the role was run on macOS, and will work with the
root users default home location too.
SethFalco deleted branch chores 2026-10-21 15:43:33 +01:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
ai/agent-devenv!13
No description provided.