commit 28fa788882c37e1b22a2dd2153f56e6ed851dd76
parent 730cfa26fdb66897a91d3d581ad62f2932571f3f
Author: Yuval Langer <yuval.langer@gmail.com>
Date: Thu, 8 Feb 2018 13:16:02 +0200
thusfar
Diffstat:
2 files changed, 14 insertions(+), 10 deletions(-)
diff --git a/init.el b/init.el
@@ -10,11 +10,11 @@
(require 'package)
-'(setq package-enable-at-startup nil)
+(setq package-enable-at-startup nil)
-(add-to-list 'package-archives ("gnu" . "https://elpa.gnu.org/packages/"))
-(add-to-list 'package-archives ("melpa-bleeding-edge" . "https://melpa.org/packages/"))
-(add-to-list 'package-archives ("melpa-stable" . "https://stable.melpa.org/packages/"))
+;; (add-to-list 'package-archives '("gnu" . "https://elpa.gnu.org/packages/"))
+(add-to-list 'package-archives '("melpa-bleeding-edge" . "https://melpa.org/packages/"))
+;; (add-to-list 'package-archives '("melpa-stable" . "https://stable.melpa.org/packages/"))
(package-initialize)
diff --git a/myinit.org b/myinit.org
@@ -94,8 +94,13 @@
#+BEGIN_SRC emacs-lisp
(use-package multiple-cursors
- )
-
+ :bind
+ (
+ ("C-S-c C-S-c" . mc/edit-lines)
+ ("C->" . mc/mark-next-like-this)
+ ("C-<" . mc/mark-previous-like-this)
+ ("C-c C-<" . mc/mark-all-like-this)
+ ))
#+END_SRC
** undo-tree-mode
@@ -103,7 +108,7 @@
#+BEGIN_SRC emacs-lisp
(use-package undo-tree
:config
- (global-undo-tree-mode 1)
+ (global-undo-tree-mode)
)
#+END_SRC
@@ -125,8 +130,7 @@
** COMMENT projectile
#+BEGIN_SRC emacs-lisp
- (req-package projectile
- :loader :elpa
+ (use-package projectile
)
#+END_SRC
@@ -572,7 +576,7 @@ org-babel for Jupyter.
*** Coq (hehehe… it says "coq"…)
#+BEGIN_SRC emacs-lisp
- (use-package proof
+ '(use-package proof
:config
(setq proof-autosend-enable t)
(setq proof-electric-terminator-enable t)