[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: |
Sun, 25 Oct 2020 18:33:35 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Ikumi Keita <ikumi@ikumi.que.jp> writes:
>>> > 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.
>>>
>>> OK, then how about the following patch.
>
>> LGTM, thanks!
>
> Pushed. Oops, sorry, I overlooked that new commits had come in. A non
> fast-forward merge commit was produced on savannah. Not good...
Oh no, we're all gonna die! ;-)
Bye,
Tassilo
- Re: oddity with TeX-style-private ?, (continued)
- 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, 2020/10/24
- 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 <=
- 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
- Re: oddity with TeX-style-private ?, Colin Baxter, 2020/10/24