Yes, I'd say it's largely a historical mistake, and we mostly ignore it, but it's there.
Quoth Jacob Moody <[email protected]>: > That's not true, rc has a $path, you can see for yourself: > > cpu% echo $path > /bin . > > Most stuff does just use /bin, but for convenience rc also includes the cwd > in $path. > > On 7/24/25 15:54, Frank D. Engel, Jr. wrote: > > There is no concept of "path" in 9front/Plan9 - not needed due to union > > mounts. > > > > You just mount additional directories on top of /bin to "merge" them at > > one location. > > > > > > On 7/23/25 18:12, [email protected] wrote: > >> on 9front, I think the default path is (/bin .), but I > >> think it's worth being a bit more robust. Done. > >> > >> Quoth Kyohei Kadota via 9fans <[email protected]>: > >>> Hi, David. > >>> > >>> I found, on /sys/src/cmd/git, mk clean exits with an usage error. For > >>> example: > >>> > >>> % cd /sys/src/cmd/git > >>> % mk clean > >>> rm -f *.[568ijqv] *.a[568ijqv] y.tab.? lex.yy.c y.debug y.output > >>> [568ijqv].??* conf get fs log query repack save send serve walk > >>> $CLEANFILES > >>> usage: add [-r :remove] file ... > >>> mk: rm -f *.[568ijqv] ... : exit status=rc 3855: usage 3855: usage > >>> > >>> There is /sys/src/cmd/git/rm and it's marked as executable so mk may > >>> refer to that. > >>> > >>> Thus I would you like to merge the patch below. Is it possible to merge? > >>> > >>> diff --git a/sys/src/cmd/git/mkfile b/sys/src/cmd/git/mkfile > >>> --- a/sys/src/cmd/git/mkfile > >>> +++ b/sys/src/cmd/git/mkfile > >>> @@ -1,4 +1,5 @@ > >>> </$objtype/mkfile > >>> +path=/bin > >>> > >>> BIN=/$objtype/bin/git > >>> TARG=\ > >> ------------------------------------------ > >> 9fans: 9fans > >> Permalink: > >> https://9fans.topicbox.com/groups/9fans/Tb55aa78014f11ae0-M5a314881b64d88931f0b52fa > >> Delivery options: https://9fans.topicbox.com/groups/9fans/subscription ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Tb55aa78014f11ae0-Ma692fe3e5d6a6361d2f612d0 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
