rope/nixos
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Show power menu on power button press

Browse source
This commit is contained in:
rope 2026-09-18 19:16:03 +01:00
parent 91f182ff15
commit 2a7f45dbc0
2 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
AGENTS.md Normal file
View file

@ -0,0 +1,4 @@
# Repository working preference
- After completing changes to this repository, commit and push them to `origin` before finishing. The user builds from the remote repository, not the local working tree.
- If a push fails, report the failure and leave the commit in place for a retry.