https://github.com/yiyunliu/cmsc631-dot-emacs
https://github.com/yiyunliu/cmsc631-dot-emacs
Last synced: about 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/yiyunliu/cmsc631-dot-emacs
- Owner: yiyunliu
- Created: 2020-08-31T19:12:31.000Z (almost 5 years ago)
- Default Branch: master
- Last Pushed: 2023-06-03T04:08:07.000Z (almost 2 years ago)
- Last Synced: 2025-04-11T04:43:47.835Z (about 2 months ago)
- Language: Emacs Lisp
- Size: 3.91 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Description
This repository is intended for those who never use emacs and want to start with a fresh coq environment.
# Usage
First, switch to your home directory:
```
cd ~
```
Next, make sure there is no existing configuration files. Here's a list of them:
- `.emacs.d`
- `.emacs`
Once you remove or backup&rename those files, clone this repository into your home directory as `.emacs.d`:
```
git clone https://github.com/yiyunliu/cmsc631-dot-emacs .emacs.d
```
and it's done!
Note that the first time you launch emacs, there could be an error message about file not found. The issue disappears if you
close emacs and launch it for the second time.