|
|
Subscribe / Log in / New account

Debian still having trouble with merged /usr

Debian still having trouble with merged /usr

Posted Apr 6, 2022 17:17 UTC (Wed) by fredex (subscriber, #11727)
In reply to: Debian still having trouble with merged /usr by ballombe
Parent article: Debian still having trouble with merged /usr

`which env` foobar


to post comments

Debian still having trouble with merged /usr

Posted Apr 6, 2022 18:01 UTC (Wed) by excors (subscriber, #95769) [Link]

Is that /bin/which or /usr/bin/which? Maybe it's safer to use `\`which which\` env` foobar

(...except Debian recently wanted to deprecate which (https://lwn.net/Articles/874049/) so that may not work either.)

Debian still having trouble with merged /usr

Posted Apr 7, 2022 16:14 UTC (Thu) by Tet (guest, #5433) [Link]

Obligatory observation: which lies. Use type -p instead. It's actually no longer strictly true, and modern versions of which are pretty accurate. But historical versions weren't and you can't guarantee you're not on a system that still uses a broken version.


Copyright © 2025, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds