Le 10/03/20 à 16h38, Robert Alessi a écrit : > By the way, tlshell is very nice! I agree. The only drawback is it doesn't provide any way to manage the symlinks. -- Denis