home-manager: keep codex home writable
This commit is contained in:
@@ -57,7 +57,7 @@ in {
|
|||||||
codex_home=${lib.escapeShellArg cfg.codexHome}
|
codex_home=${lib.escapeShellArg cfg.codexHome}
|
||||||
worktree_codex=${lib.escapeShellArg cfg.worktreeCodexDir}
|
worktree_codex=${lib.escapeShellArg cfg.worktreeCodexDir}
|
||||||
|
|
||||||
if [ -L "$codex_home" ] && [ "$(readlink "$codex_home")" = "$worktree_codex" ]; then
|
if [ -L "$codex_home" ]; then
|
||||||
rm -f "$codex_home"
|
rm -f "$codex_home"
|
||||||
mkdir -p "$codex_home"
|
mkdir -p "$codex_home"
|
||||||
elif [ ! -e "$codex_home" ]; then
|
elif [ ! -e "$codex_home" ]; then
|
||||||
|
|||||||
Reference in New Issue
Block a user