[slime-devel] Changing remote directory not working

Helmut Eller heller at common-lisp.net
Fri Apr 14 16:20:56 UTC 2006


* Joel Reymont [2006-04-14 11:07+0200] writes:

> Folks,
>
> I'm almost sure this started happening after the Allegro-related
> change-directory patch. I now cannot change directories when using
> slime remotely.
>
> The file "/ssh:jreymont at repdb2.cur:/home/jreymont/fraud/" does not
> exist.

What's your value of slime-filename-translations? It looks like the
untranslated tramp filename was sent to the remote host.

Helmut.



More information about the slime-devel mailing list