You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// CHANGE: normalize inherited box image HOME/PATH/WORKDIR after the SSH user rewrite
202
+
// WHY: box-js publishes HOME=/home/box; docker exec -u dev inherits image env, so user-relative paths must be re-bound to the mounted /home/dev volume
203
+
// QUOTE(ТЗ): "юзать готовый репозиторий"
204
+
// REF: issue-267
205
+
// SOURCE: n/a
206
+
// FORMAT THEOREM: forall u = config.sshUser: HOME(rendered) = /home/u and WORKDIR(rendered) = /home/u
207
+
// PURITY: CORE
208
+
// INVARIANT: tilde-expanded runtime paths for the SSH user resolve inside the configured home volume
// CHANGE: normalize inherited box image HOME/PATH/WORKDIR after the SSH user rewrite
202
+
// WHY: box-js publishes HOME=/home/box; docker exec -u dev inherits image env, so user-relative paths must be re-bound to the mounted /home/dev volume
203
+
// QUOTE(ТЗ): "юзать готовый репозиторий"
204
+
// REF: issue-267
205
+
// SOURCE: n/a
206
+
// FORMAT THEOREM: forall u = config.sshUser: HOME(rendered) = /home/u and WORKDIR(rendered) = /home/u
207
+
// PURITY: CORE
208
+
// INVARIANT: tilde-expanded runtime paths for the SSH user resolve inside the configured home volume
0 commit comments