Erik Martin-Dorel erikmd

## README.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              1 star
            
          
                erikmd
                / README.md
            
            
              Last active
              August 20, 2021 14:13
            
              
                Resources for Emacs-Lisp Dev
              
          
    Resources for elisp dev

How to improve emacs features discoverability & elisp debugging UX

We assume you already configured MELPA and use-package.
Otherwise, see e.g. this ~/.emacs template.
Then, add the following elisp snippet in your ~/.emacs, in order to install:

  
## README.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              1 star
            
          
                erikmd
                / README.md
            
            
              Last active
              May 18, 2024 19:19
            
              
                How to setup some GIt prompt in Bash or Zsh
              
          
    Howto: Setup a Git prompt for Bash or Zsh

Disclaimer

This mini-tutorial describes a dangerous step (dowload a third-party bash script and execute/source it).
In a similar case, be always careful to:

only do this from trusted sources (here, from a released tag in https://github.com/git/git)
and inspect the script beforehand! (i.e., always avoid any blind curl … | bash command)


## ocaml_lwt_sample.ml
(*
   Interactive approach
   --------------------

   You can copy-paste code into `utop`, provided you load the lwt.unix
   package:

     #use "topfind";;
     #thread;;  (* only needed in the plain `ocaml` toplevel, not in `utop`. *)
     #require "lwt.unix";;

## ANSI.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                erikmd
                / ANSI.md
            
            
              Created
              February 3, 2021 22:52
                — forked from fnky/ANSI.md
            
              
                ANSI Escape Codes
              
          
    ANSI Escape Sequences

Standard escape codes are prefixed with Escape:

Ctrl-Key: ^[
Octal: \033
Unicode: \u001b
Hexadecimal: \x1b
Decimal: 27


## pom.xml
<?xml version="1.0" encoding="UTF-8"?>

<!--
    .   _   _             _   _
   / \ | |_| |_ ___ _ __ | |_(_) ___  _ __
  / _ \| __| __/ _ \ '_ \| __| |/ _ \| '_ \
 / ___ \ |_| ||  __/ | | | |_| | (_) | | | |
/_/   \_\__|\__\___|_| |_|\__|_|\___/|_| |_|

Lisez bien les commentaires qui documentent ce fragment de POM.

## dune-workspace
(lang dune 2.0)
(context
  (default (disable_dynamically_linked_foreign_archives true)))

## coq-action-2.yml
name: CI
on:
  push:
    branches: ['master'] # forall push/merge in master
  pull_request:
    branches: ['**']  # forall submitted Pull Requests
jobs:
  mathcomp:
    runs-on: ubuntu-latest
    strategy:

## coq-action-1.yml
name: CI
on:
  push:
    branches: ['master'] # forall push/merge in master
  pull_request:
    branches: ['**']  # forall submitted Pull Requests
jobs:
  coq:
    runs-on: ubuntu-latest
    strategy:

## 0001-Fix-Maven-Warning.patch
From 456da171afe812530544544101af363698cc2309 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Tue, 3 Mar 2020 08:50:15 +0100
Subject: [PATCH] Fix Maven Warning
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

"""
[WARNING] Some problems were encountered while building the effective model for …

## .emacs
;;; Config de package.el, MELPA et use-package -*- lexical-binding: t -*-

;;; Pour plus d'infos :
;; https://github.com/magit/magit et https://magit.vc (doc officielle)
;; https://youtu.be/mtliRYQd0j4 (tuto vidéo sur git-rebase avec Magit)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Sauter si besoin cette section (ne pas avoir ce code dédoublé dans ~/.emacs)

(require 'package)
	(*
	Interactive approach
	--------------------

	You can copy-paste code into `utop`, provided you load the lwt.unix
	package:

	#use "topfind";;
	#thread;; (* only needed in the plain `ocaml` toplevel, not in `utop`. *)
	#require "lwt.unix";;
	<?xml version="1.0" encoding="UTF-8"?>

	<!--
	. _ _ _ _
	/ \ \| \|_\| \|_ ___ _ __ \| \|_(_) ___ _ __
	/ _ \\| __\| __/ _ \ '_ \\| __\| \|/ _ \\| '_ \
	/ ___ \ \|_\| \|\| __/ \| \| \| \|_\| \| (_) \| \| \| \|
	/_/ \_\__\|\__\___\|_\| \|_\|\__\|_\|\___/\|_\| \|_\|

	Lisez bien les commentaires qui documentent ce fragment de POM.
	(lang dune 2.0)
	(context
	(default (disable_dynamically_linked_foreign_archives true)))
	name: CI
	on:
	push:
	branches: ['master'] # forall push/merge in master
	pull_request:
	branches: ['**'] # forall submitted Pull Requests
	jobs:
	mathcomp:
	runs-on: ubuntu-latest
	strategy:
	From 456da171afe812530544544101af363698cc2309 Mon Sep 17 00:00:00 2001
	From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
	Date: Tue, 3 Mar 2020 08:50:15 +0100
	Subject: [PATCH] Fix Maven Warning
	MIME-Version: 1.0
	Content-Type: text/plain; charset=UTF-8
	Content-Transfer-Encoding: 8bit

	"""
	[WARNING] Some problems were encountered while building the effective model for …
	;;; Config de package.el, MELPA et use-package -- lexical-binding: t --

	;;; Pour plus d'infos :
	;; https://github.com/magit/magit et https://magit.vc (doc officielle)
	;; https://youtu.be/mtliRYQd0j4 (tuto vidéo sur git-rebase avec Magit)

	;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
	;; Sauter si besoin cette section (ne pas avoir ce code dédoublé dans ~/.emacs)

	(require 'package)