Skip to content

Instantly share code, notes, and snippets.

@adeguet1
adeguet1 / git-https-to-ssh.sh
Created March 29, 2024 15:48
Rewrite git URL using https to ssh
git config --global url."[email protected]:".insteadOf https://github.com/
git config --global url."git://".insteadOf https://
@adeguet1
adeguet1 / firmware-updater.py
Created May 25, 2023 13:38
Python script to detect any new SD card and copy some files on it. Used to flash firmware for dVRK controllers.
#
# Script used to monitor new block device (SD card) and copy new dVRK
# firmware files automatically
#
# Anton Deguet
#
import pyudev
import subprocess
import time