[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Slash at the end of directory (was Re: oddity with TeX-style-private
From: |
Tassilo Horn |
Subject: |
Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?) |
Date: |
Sat, 24 Oct 2020 21:31:20 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Ikumi Keita <ikumi@ikumi.que.jp> writes:
Hi Keita,
> By the way, I think that file-name-as-directory should be re-enabled
> for TeX-macro-{global,private}, considering that we no longer support
> xemacs, because it seems that TeX-strip-extension and TeX-parse-path
> assume that those variables have list of strings which end with
> trailing slashes.
IMHO, `TeX-strip-extension' and `TeX-parse-path' should better test with
(member dir (mapcar #'file-name-as-directory TeX-style-global)) etc. It
shouldn't be the user's job to ensure that directory names are written
with a trailing slash.
Bye,
Tassilo
- Re: oddity with TeX-style-private ?, (continued)
- Re: oddity with TeX-style-private ?, Uwe Brauer, 2020/10/24
- Re: oddity with TeX-style-private ?, Vladimir Lomov, 2020/10/24
- Re: oddity with TeX-style-private ?, Tassilo Horn, 2020/10/24
- Re: oddity with TeX-style-private ?, Uwe Brauer, 2020/10/24
- Re: oddity with TeX-style-private ?, Tassilo Horn, 2020/10/24
- Re: oddity with TeX-style-private ?, Colin Baxter, 2020/10/24
- Re: oddity with TeX-style-private ?, Uwe Brauer, 2020/10/24
- Re: oddity with TeX-style-private ?, Tassilo Horn, 2020/10/24
- Slash at the end of directory (was Re: oddity with TeX-style-private ?), Ikumi Keita, 2020/10/24
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Uwe Brauer, 2020/10/24
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?),
Tassilo Horn <=
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Ikumi Keita, 2020/10/25
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Tassilo Horn, 2020/10/25
- Re: Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Ikumi Keita, 2020/10/25
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Tassilo Horn, 2020/10/25
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Uwe Brauer, 2020/10/25
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), David Kastrup, 2020/10/25
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Uwe Brauer, 2020/10/25
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), David Kastrup, 2020/10/25
- Re: oddity with TeX-style-private ?, Colin Baxter, 2020/10/24
- Re: oddity with TeX-style-private ?, Uwe Brauer, 2020/10/24