From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Newsgroups: gmane.emacs.help Subject: Re: Trying to install the emacs mode for lean theorem prover Date: Tue, 19 Dec 2017 16:53:36 +0100 Message-ID: <20171219155336.GA26490@tuxteam.de> References: <571324850.2598402.1513695864283.ref@mail.yahoo.com> <571324850.2598402.1513695864283@mail.yahoo.com> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; x-action=pgp-signed Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1513698776 11786 195.159.176.226 (19 Dec 2017 15:52:56 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 19 Dec 2017 15:52:56 +0000 (UTC) User-Agent: Mutt/1.5.21 (2010-09-15) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Tue Dec 19 16:52:52 2017 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eRKCK-0002qI-2D for geh-help-gnu-emacs@m.gmane.org; Tue, 19 Dec 2017 16:52:52 +0100 Original-Received: from localhost ([::1]:51406 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eRKEI-0007CC-Gy for geh-help-gnu-emacs@m.gmane.org; Tue, 19 Dec 2017 10:54:54 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:43898) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eRKDV-000782-Bq for help-gnu-emacs@gnu.org; Tue, 19 Dec 2017 10:54:14 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eRKDD-0006cY-As for help-gnu-emacs@gnu.org; Tue, 19 Dec 2017 10:54:05 -0500 Original-Received: from mail.tuxteam.de ([5.199.139.25]:32856) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eRKDC-0006SF-VE for help-gnu-emacs@gnu.org; Tue, 19 Dec 2017 10:53:47 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tuxteam.de; s=20171004; h=From:In-Reply-To:Content-Transfer-Encoding:Content-Type:MIME-Version:References:Message-ID:Subject:To:Date; bh=QqIHNW/V2jqWEv91Rws4SMWuiI8hazI68GD2/okd6Xw=; b=MAjopir5MP3xqDTyzcNi1cTuXlVvmDyvr1LkLx8GbLWCTJqSme2aqaAjwY2RcFIDgabJBppx8uIAHtSSEWNYBPqLUTIPVjkRH21PXEvjme8orKgE4Qk3XhsoknkdQIngpGucSoDAFBR6SYmvZW6vgvarsHl51TVjo3KTWoJiNpr2vuAmm0F8z/CLd/7xJ4iB0hji7wZgYjTxCN5Fxou3PQHYkAEEkn7WiuyFt82q5y7z5zH3UBTQxBte94aKtwHs5eo8twSfnDVNeLP0rbvIQLSbSrx8MCLH0aucnwY0XGDpGDK3N19vqwtxU1i1SfDDxTD/FjIRflFGkDviPUbDpQ==; Original-Received: from tomas by mail.tuxteam.de with local (Exim 4.80) (envelope-from ) id 1eRKD2-0007aG-2A for help-gnu-emacs@gnu.org; Tue, 19 Dec 2017 16:53:36 +0100 In-Reply-To: <571324850.2598402.1513695864283@mail.yahoo.com> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-Received-From: 5.199.139.25 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.org gmane.emacs.help:115402 Archived-At: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Tue, Dec 19, 2017 at 03:04:24PM +0000, Diego Carlesso wrote: > [...] but I can't find any init file; already tried to uninstall > emacs and install it again, but nothing changed. I'm maybe doing > something wrong; maybe I'm even asking in the wrong place [...] Perhaps this puts you on the right track: https://stackoverflow.com/questions/27869909/what-to-do-if-i-cannot-find-my-emacs-init-file Generally it's not a problem when the init file doesn't exist (yet). You just create it (and Emacs command "find-file" will do that for you, conveniently). The Emacs variable "user-init-file" contains the name of that init file (which might vary depending on the operating system, so it makes sense to look into that). Of course, you can create it with any other editor (plain text!), but if you are going to use Emacs, perhaps it's a good plan to try that first... And yes, you are right here -- welcome :-) Just come back if you don't understand something in the above link. Cheers - -- tomás -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlo5NgAACgkQBcgs9XrR2kZSZwCdEq9d+u8KrD/EopghoB3kbLMy F7wAnR/4r4oDbsA1GasoraIDRiiv268G =qbLX -----END PGP SIGNATURE-----