close 1040841 thanks Hi Axel
On 7/17/23 13:58, Axel Kittenberger wrote: > I'm very sorry, I overlooked that on this machine "which texstudio" > resulted in "/usr/local/bin/texstudio". Thanks for clearing up the issue, I'm glad it works for you now. Regards Tom