;; Initialization file for emacs

(setq inhibit-startup-screen t)
(require 'package)
(add-to-list 'package-archives
              '("melpa" . "https://melpa.org/packages/") t)

(package-initialize)

(column-number-mode 1)
(setq auto-save-default t)
(fset 'yes-or-no-p 'y-or-n-p)  ; use y or n instead of yes or not
(global-hl-line-mode +1)

; utile avec le pkg magit
(global-set-key (kbd "C-x g") 'magit-status)

; s'edite interactivement par M-x customize

(custom-set-variables
 ;; custom-set-variables was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 '(package-selected-packages
   (quote
    (tuareg proof-general merlin-eldoc magit company-coq)))
 '(proof-splash-enable nil)
 '(show-paren-mode t))