[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#58812] [PATCH 0/5] Add --symlink option to 'guix shell'.
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#58812] [PATCH 0/5] Add --symlink option to 'guix shell'. |
|
Date: |
Mon, 14 Nov 2022 10:18:23 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
Hi,
Maxim Cournoyer <maxim.cournoyer@gmail.com> skribis:
> Contrary to what the Texinfo manual says, pxref seems to be the one
> introducing the awkward "*note" verb in the resulting info.
If you read it in Emacs, it looks a bit different; I think info.el adds
removes “note” and adds “see” in some cases (e.g., see
‘Info-hide-note-references’).
Ludo’.
- [bug#58812] [PATCH 0/5] Add --symlink option to 'guix shell'., Ludovic Courtès, 2022/11/09
- [bug#58812] [PATCH 0/5] Add --symlink option to 'guix shell'., Maxim Cournoyer, 2022/11/09
- [bug#58812] [PATCH v3 1/4] Makefile.am: Sort EXTRA_DIST entries., Maxim Cournoyer, 2022/11/10
- [bug#58812] [PATCH v3 2/4] install: Validate symlink target in evaluate-populate-directive., Maxim Cournoyer, 2022/11/10
- [bug#58812] [PATCH v3 4/4] shell: Detect --symlink spec problems early., Maxim Cournoyer, 2022/11/10
- [bug#58812] [PATCH v3 3/4] guix: shell: Add '--symlink' option., Maxim Cournoyer, 2022/11/10
[bug#58812] [PATCH 0/5] Add --symlink option to 'guix shell'., zimoun, 2022/11/16