From: <tomas@tuxteam.de>
To: help-gnu-emacs@gnu.org
Subject: Re: Trying to install the emacs mode for lean theorem prover
Date: Tue, 19 Dec 2017 16:53:36 +0100 [thread overview]
Message-ID: <20171219155336.GA26490@tuxteam.de> (raw)
In-Reply-To: <571324850.2598402.1513695864283@mail.yahoo.com>
-----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-----
next prev parent reply other threads:[~2017-12-19 15:53 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <571324850.2598402.1513695864283.ref@mail.yahoo.com>
2017-12-19 15:04 ` Trying to install the emacs mode for lean theorem prover Diego Carlesso
2017-12-19 15:53 ` tomas [this message]
2017-12-19 17:02 ` Drew Adams
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20171219155336.GA26490@tuxteam.de \
--to=tomas@tuxteam.de \
--cc=help-gnu-emacs@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).