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
Posted Apr 6, 2022 18:01 UTC (Wed)
by excors (subscriber, #95769)
[Link]
(...except Debian recently wanted to deprecate which (https://lwn.net/Articles/874049/) so that may not work either.)
Posted Apr 7, 2022 16:14 UTC (Thu)
by Tet (guest, #5433)
[Link]
Debian still having trouble with merged /usr
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.
Debian still having trouble with merged /usr