Thomas Perrot tprrt

## multiple-repository-and-identities-git-configuration.md

      
              1 file
            
          
              76 forks
            
          
              19 comments
            
          
              313 stars
            
          
                bgauduch
                / multiple-repository-and-identities-git-configuration.md
            
            
              Last active
              July 17, 2024 12:57
            
              
                Git config with multiple identities and multiple repositories
              
          
    Setup multiple git identities & git user informations


/!\ Be very carrefull in your setup : any misconfiguration make all the git config to fail silently !
Go trought this guide step by step and it should be fine 😉

Setup multiple git ssh identities for git


Generate your SSH keys as per your git provider documentation.
Add each public SSH keys to your git providers acounts.
In your ~/.ssh/config, set each ssh key for each repository as in this exemple:


## signing-gpg-keys.md

      
              1 file
            
          
              14 forks
            
          
              6 comments
            
          
              104 stars
            
          
                F21
                / signing-gpg-keys.md
            
            
              Last active
              July 13, 2024 23:42
            
              
                Signing someone's GPG key
              
          
    This is a quick guide of the commands we use to sign someone's GPG key in a virtual key signing party.
Note: The steps cover only the technical aspects of signing someone's key. Before signing someone's key, you must verify their identity. This is usually done by showing government-issued ID and confirming the key's fingerprint
The commands will work for both GPG and GPG2.
I use Julian's key for the examples. His key id is 2AD3FAE3. You should substitute with the appropriate key id when running the commands.
Signing the key


List the keys currently in your keyring: gpg --list-keys.


## stm32cubemx-linux.md

      
              1 file
            
          
              3 forks
            
          
              21 comments
            
          
              31 stars
            
          
                Lanchon
                / stm32cubemx-linux.md
            
            
              Last active
              August 4, 2023 08:54
            
              
                Installing STM32CubeMX on Linux
              
          
    Installing STM32CubeMX on Linux

The STM32CubeMX tool is written in portable java, but unfortunately it is distributed as a Windows executable embedded in a Windows installer.
To install it on Linux:

sudo java -jar SetupSTM32CubeMX-4.11.0.exe
install the tool somewhere in your home, eg: /home/you/stm32/cubemx
sudo chown -R you:you /home/you/stm32/cubemx


## gpgmutt.md

      
              1 file
            
          
              26 forks
            
          
              9 comments
            
          
              225 stars
            
          
                bnagy
                / gpgmutt.md
            
            
              Last active
              July 7, 2024 08:18
            
              
                Mutt, Gmail and GPG
              
          
    GPG / Mutt / Gmail

About

This is a collection of snippets, not a comprehensive guide. I suggest you start with Operational PGP.
Here is an incomplete list of things that are different from other approaches:

I don't use keyservers. Ever.
Yes, I use Gmail instead of some bespoke hipster freedom service


## irc.md

      
              1 file
            
          
              112 forks
            
          
              34 comments
            
          
              469 stars
            
          
                xero
                / irc.md
            
            
              Last active
              July 10, 2024 12:09
            
              
                irc cheat sheet
              
          
    IRC Reference

Not intended as a guide for newbies, more like a "cheat sheet" for the somewhat experienced IRC user, especially one who wields some power over a channel.
The Basics


/join #channel

Joins the specified channel.


/part #channel
Leaves the specified channel.


## fstab
#<file system>	<mount-point>	<type>	<options>			<dump> <pass>
/dev/root	/		auto	defaults,errors=remount-ro	0 0
devpts		/dev/pts	devpts	gid=5,mode=620			0 0
proc		/proc		proc	defaults			0 0
tmpfs		/tmp		tmpfs	defaults			0 0
sysfs		/sys		sysfs	auto				0 0

## gist:5590281
#!/bin/sh

echo "Starting rcS..."

echo "++ Mounting filesystem"
mount tmpfs /dev  -t tmpfs
mount proc  /proc -t proc
mount sysfs /sys  -t sysfs
mkdir -p /dev/pts
mkdir -p /dev/i2c

## gpio.c
/**
 * Title:   gpio.c
 *
 * Author:  Andrew Montag
 *          ajmontag@gmail.com
 *          sites.google.com/site/andrewmontag
 *
 * Licence: Boost Software Licence - Verison 1.0
 *          http://www.boost.org/users/license.html
 *

## rst.video.py
# -*- coding: utf-8 -*-
"""
    ReST directive for embedding Youtube and Vimeo videos.

    There are two directives added: ``youtube`` and ``vimeo``. The only
    argument is the video id of the video to include.

    Both directives have three optional arguments: ``height``, ``width``
    and ``align``. Default height is 281 and default width is 500.

## 000-Cheat-Sheets.md

      
              14 files
            
          
              61 forks
            
          
              1 comment
            
          
              212 stars
            
          
                JoshuaEstes
                / 000-Cheat-Sheets.md
            
            
              Last active
              May 1, 2024 04:03
            
              
                Developer Cheat Sheets for bash, git, gpg, irssi, mutt, tmux, and vim. See my dotfiles repository for extra info.
              
          
    Moved to https://github.com/JoshuaEstes/CheatSheets
	#<file system> <mount-point> <type> <options> <dump> <pass>
	/dev/root / auto defaults,errors=remount-ro 0 0
	devpts /dev/pts devpts gid=5,mode=620 0 0
	proc /proc proc defaults 0 0
	tmpfs /tmp tmpfs defaults 0 0
	sysfs /sys sysfs auto 0 0
	#!/bin/sh

	echo "Starting rcS..."

	echo "++ Mounting filesystem"
	mount tmpfs /dev -t tmpfs
	mount proc /proc -t proc
	mount sysfs /sys -t sysfs
	mkdir -p /dev/pts
	mkdir -p /dev/i2c
	/**
	* Title: gpio.c
	*
	* Author: Andrew Montag
	* ajmontag@gmail.com
	* sites.google.com/site/andrewmontag
	*
	* Licence: Boost Software Licence - Verison 1.0
	* http://www.boost.org/users/license.html
	*
	# -- coding: utf-8 --
	"""
	ReST directive for embedding Youtube and Vimeo videos.

	There are two directives added: ``youtube`` and ``vimeo``. The only
	argument is the video id of the video to include.

	Both directives have three optional arguments: ``height``, ``width``
	and ``align``. Default height is 281 and default width is 500.