[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bug or not a bug? dot expansion in ob-shell
From: |
Bastien |
Subject: |
Re: Bug or not a bug? dot expansion in ob-shell |
Date: |
Sun, 23 Feb 2020 14:13:37 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Hi Stefan,
Stefan Nobis <address@hidden> writes:
> The downside would be that many existing Org documents needs to be
> fixed (but maybe it would be not too hard to automate the adjustments)
> and some source blocks may become a little more verbose.
Yes, backward-compatibilities issues, verbosity, and a non-functional
default are problematic.
I think we will have a better view on what is a sensible default after
we try to document the current behavior for the main languages.
Also, such a documentation page will be useful even after we change
the defaults, if we do this.
--
Bastien
- Re: Bug or not a bug? dot expansion in ob-shell, (continued)
- Re: Bug or not a bug? dot expansion in ob-shell, Samuel Wales, 2020/02/19
- Re: Bug or not a bug? dot expansion in ob-shell, Bastien, 2020/02/19
- Re: Bug or not a bug? dot expansion in ob-shell, Nick Dokos, 2020/02/20
- Re: Bug or not a bug? dot expansion in ob-shell, Tim Cross, 2020/02/20
- Re: Bug or not a bug? dot expansion in ob-shell, Derek Feichtinger, 2020/02/21
- Re: Bug or not a bug? dot expansion in ob-shell, Bastien, 2020/02/21
- Re: Bug or not a bug? dot expansion in ob-shell, Nick Dokos, 2020/02/21
- Re: Bug or not a bug? dot expansion in ob-shell, Jack Kamm, 2020/02/22
- Re: Bug or not a bug? dot expansion in ob-shell, Bastien, 2020/02/22
- Re: Bug or not a bug? dot expansion in ob-shell, Stefan Nobis, 2020/02/23
- Re: Bug or not a bug? dot expansion in ob-shell,
Bastien <=
- Re: Bug or not a bug? dot expansion in ob-shell, Jack Kamm, 2020/02/23
- Re: Bug or not a bug? dot expansion in ob-shell, Bastien, 2020/02/23
- Re: Bug or not a bug? dot expansion in ob-shell, Jack Kamm, 2020/02/29
- Re: Bug or not a bug? dot expansion in ob-shell, Jack Kamm, 2020/02/29
- Re: Bug or not a bug? dot expansion in ob-shell, Tom Gillespie, 2020/02/29
- Re: Bug or not a bug? dot expansion in ob-shell, Tim Cross, 2020/02/29
- Re: Bug or not a bug? dot expansion in ob-shell, Jack Kamm, 2020/02/29
- Re: Bug or not a bug? dot expansion in ob-shell, Fraga, Eric, 2020/02/23