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 YJhCGiWH8l4HcAAA0tVLHw (envelope-from ) for ; Tue, 23 Jun 2020 22:50:13 +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 yN0bFiWH8l6/UwAAbx9fmQ (envelope-from ) for ; Tue, 23 Jun 2020 22:50:13 +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 CF414940703 for ; Tue, 23 Jun 2020 22:50:12 +0000 (UTC) Received: from localhost ([::1]:37734 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jnrk3-00012R-R8 for larch@yhetil.org; Tue, 23 Jun 2020 18:50:11 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:45086) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jnrjE-0000BB-T0 for help-guix@gnu.org; Tue, 23 Jun 2020 18:49:20 -0400 Received: from mout02.posteo.de ([185.67.36.66]:35341) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jnrjC-0003NX-4a for help-guix@gnu.org; Tue, 23 Jun 2020 18:49:20 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 1872A2400FB for ; Wed, 24 Jun 2020 00:49:15 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.de; s=2017; t=1592952556; bh=8RqEn2gnXenqr/QcWhOgCRl6+LNIkRtssjRdn1X6RUQ=; h=To:From:Subject:Date:From; b=IMjUBkV0Tonhqr+zpPv2j8QFnlMe//IyU3a0m5Ic/2nrFPaNxQVTlPMtwxkMcQ26u SNNlekjVKcrvWKDyFkEeHhGUKSuWqJac8bQ2t+DfgxFL9bVAIoNp9uP2GQIlhIB/d3 5wgv+KwjiF1UUWeviIcYFQCER7N4NDPRYz9fyYDE/T8pyBStGNaGDFDYKgFeZnw4hL 5Khq1/NDXvrQ3TpSRYZg7wCMJ5/2iR2ya7E5tcC33NDH8lQ705Ydo7gaT1n28ZAmsu sVDsmhuNVrYrUhcFSALl4WY8xBoKfAuw1xh+wSyvx3NBU7xhESR1AirVoovmBjWRPB rMe7W9cL6UgUg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 49s1fz3krPz6tm8 for ; Wed, 24 Jun 2020 00:49:15 +0200 (CEST) To: help-guix@gnu.org From: Zelphir Kaltstahl Subject: Erlang + Emacs profile Message-ID: <3801410f-667e-9cac-74f3-d56a519adcc2@posteo.de> Date: Wed, 24 Jun 2020 00:49:14 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Icedove/68.8.0 MIME-Version: 1.0 Content-Language: en-US Received-SPF: pass client-ip=185.67.36.66; envelope-from=zelphirkaltstahl@posteo.de; helo=mout02.posteo.de X-detected-operating-system: by eggs.gnu.org: First seen = 2020/06/23 18:28:09 X-ACL-Warn: Detected OS = Linux 3.11 and newer X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H4=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=_AUTOLEARN X-Spam_action: no action Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Content-Filtered-By: Mailman/MimeDel 2.1.23 X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (body hash did not verify) header.d=posteo.de header.s=2017 header.b=IMjUBkV0; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.de (policy=none); spf=pass (aspmx1.migadu.com: domain of help-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=help-guix-bounces@gnu.org X-Spam-Score: 0.09 X-TUID: Ob0PGv0YKuXt Hello Guix users! What is your way of setting up a profile for Erlang development? There are some things I would like to have, some of which I already managed to get: * [X] Erlang installed through Guix package manager in a separate profile * [X] `erl` REPL available in that separate profile * [X] an Emacs Erlang mode (installed it through M-x list-pack RET and searched for erlang there) * [_] org-mode babel erlang for literate programming in org-mode, using the Guix installed erlang executable – I found https://github.com/xfwduke/ob-erlang, which also seems to work, but I do not know how to point it to the Guix installed Erlang, so that it can actually run code. Currently it complains about not finding Erlang. Does anyone know how to point it to the Erlang executable? I created this issue: https://github.com/xfwduke/ob-erlang/issues/1 I did not see any separate OTP package on `guix search`. Is this already included in the `erlang` package or is this missing from Guix package repositories? Here is my current manifest.scm file for creating a profile (currently not much in there): ~~~~ (specifications->manifest '("erlang@21.3.8.13")) ~~~~ Note, that Emacs is not in here, because I have it in my global or base profile. I'd rather not have a separate Emacs for this project, but simply use the one installed already. I am also aware, that Guix has packages for Emacs packages, but so far I've always installed those inside Emacs using M-x list-pack. This probably means, that Guix is not aware of them being installed, but I had no problems with it so far. Regards, Zelphir