erikmd

1. Create SSH keypair

In order to deploy using SSH, we need a SSH keypair. Please use an algorithm strong enough and also supported by GHA and your remote host.

You can use the command below to generate a keypair:

ssh-keygen -t ed25519 -C gha@vm-YourLogin -f ~/.ssh/id_gha

For this use case, don't use a passphrase (just type Return to select an empty passphrase).

erikmd

Recommended Git configuration

Run these standard commands anytime you setup git on a new workstation.

Mandatory

git config --global user.name "Prénom Nom"
git config --global user.email "prenom.nom@example.com"

erikmd

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:

erikmd

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)

erikmd

(*
   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";;

erikmd

ANSI Escape Sequences

Standard escape codes are prefixed with Escape:

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

erikmd

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

<!--  
    .   _   _             _   _             
   / \ | |_| |_ ___ _ __ | |_(_) ___  _ __  
  / _ \| __| __/ _ \ '_ \| __| |/ _ \| '_ \ 
 / ___ \ |_| ||  __/ | | | |_| | (_) | | | |
/_/   \_\__|\__\___|_| |_|\__|_|\___/|_| |_|
                                            
Lisez bien les commentaires qui documentent ce fragment de POM.

erikmd

(lang dune 2.0)
(context
  (default (disable_dynamically_linked_foreign_archives true)))

erikmd

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:

erikmd

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: