From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id IPDRLJSNU192OQAA0tVLHw (envelope-from ) for ; Sat, 05 Sep 2020 13:07:32 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id WG6OKJSNU1/1WwAAbx9fmQ (envelope-from ) for ; Sat, 05 Sep 2020 13:07:32 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 5DD709404C7 for ; Sat, 5 Sep 2020 13:07:32 +0000 (UTC) Received: from localhost ([::1]:38906 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kEXul-0000go-DL for larch@yhetil.org; Sat, 05 Sep 2020 09:07:31 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:45828) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kEXuS-0000ge-KJ for emacs-orgmode@gnu.org; Sat, 05 Sep 2020 09:07:12 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:34087) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kEXuR-0003C8-Ny; Sat, 05 Sep 2020 09:07:11 -0400 Received: from [2a01:e35:2fe1:f780:68c6:8f4c:dae1:2381] (port=40562 helo=guerry) by fencepost.gnu.org with esmtpsa (TLS1.2:DHE_RSA_AES_256_CBC_SHA256:256) (Exim 4.82) (envelope-from ) id 1kEXuR-0006YL-9j; Sat, 05 Sep 2020 09:07:11 -0400 Received: by guerry (Postfix, from userid 1000) id 222871A60D54; Sat, 5 Sep 2020 15:07:09 +0200 (CEST) From: Bastien To: Marco Falconi Subject: Re: Bug: Exporting internal link to special latex block [9.3.7 (9.3.7-14-gb2b587-elpa @ /home/lobo/.emacs.d/elpa/org-20200720/)] Organization: GNU References: <87lfjd6kmk.fsf@uniroma3.it> <87d0305xgm.fsf@gnu.org> <87wo18fq52.fsf@uniroma3.it> Date: Sat, 05 Sep 2020 15:07:09 +0200 In-Reply-To: <87wo18fq52.fsf@uniroma3.it> (Marco Falconi's message of "Sat, 05 Sep 2020 12:56:41 +0200") Message-ID: <87zh64cqyq.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-BeenThere: emacs-orgmode@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: emacs-orgmode@gnu.org Errors-To: emacs-orgmode-bounces+larch=yhetil.org@gnu.org Sender: "Emacs-orgmode" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of emacs-orgmode-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=emacs-orgmode-bounces@gnu.org X-Spam-Score: -1.01 X-TUID: hRxWgaiEtMxZ Hi Marco, thanks for the feedback, I'm glad you found a workaround. Marco Falconi writes: > However, it would be very nice if it was solved in org. Yes, me too. > Also, my preference would be for the exported id to be the one given > in the NAME attribute (as it is now), because I use it in the html > file to name the theorem environment. Of course this is just my > preference, and I would understand if the solution would work in > another manner. I think that's the natural expectation. Best, -- Bastien