Re: TeXLive and dist-upgrades of Debian Stable

> I've posted my ~/.profile in https://pastebin.com/zQgPHN5f 

Does the adjusted PATH show up in your shell?

What does
	echo $PATH
give you?

You might have a .bash_profile file that takes AFAIR precedence over
.profile (and a few other thousands of ways to shoot yourself with bash
init files)
https://superuser.com/questions/1840395/complete-overview-of-bash-and-zsh-startup-files-sourcing-order

Best regards

Norbert

--
DI Dr Norbert Preining                        https://www.preining.info
arXiv / Cornell University   +   IFMGA Guide   +   TU Wien  +  TeX Live
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13