Skip to content

Instantly share code, notes, and snippets.

@thalesmg
thalesmg / ssh_jump.py
Created December 2, 2021 18:21 — forked from tintoy/ssh_jump.py
SSH via jump-hosts using Paramiko
#!/usr/bin/env python3
import os
import paramiko
ssh_key_filename = os.getenv('HOME') + '/.ssh/id_rsa'
jumpbox_public_addr = '168.128.52.199'
jumpbox_private_addr = '10.0.5.10'
target_addr = '10.0.5.20'
@thalesmg
thalesmg / print.hrl
Created December 17, 2021 19:42 — forked from uldza/print.hrl
Erlang pretty printing with ANSI console colors
%%%-------------------------------------------------------------------
%%% @author Ahmad Baitalmal
%%% @copyright (C) 2017, Ahmad Baitalmal
%%% Permission is hereby granted, free of charge, to any person obtaining
%%% a copy of this software and associated documentation files
%%% (the “Software”), to deal in the Software without restriction,
%%% including without limitation the rights to use, copy, modify, merge,
%%% publish, distribute, sublicense, and/or sell copies of the Software,
%%% and to permit persons to whom the Software is furnished to do so,
%%% subject to the following conditions:
@thalesmg
thalesmg / erlang-java-interop-demo.sh
Created June 28, 2023 12:44 — forked from eriksoe/erlang-java-interop-demo.sh
An Erlang-Java Interop Demo - executable summary
#!/bin/bash -x
#######################################################################
#
# Demo of Erlang IDL, as applied to property testing of Java code.
# We'll need Triq.
git clone git://github.com/krestenkrab/triq.git
(cd triq && ./rebar compile)
ERL_ROOT=`erl -noshell -eval 'io:format("~s\n", [code:root_dir()]), init:stop().'`
@thalesmg
thalesmg / use-password-store-with-forge.org
Created January 28, 2025 16:59 — forked from timstott/use-password-store-with-forge.org
Use password-store (aka pass) with forge and github-review

Use password-store (aka pass) with forge and github-review

We can use pass as an emacs auth-source backend to access credentials.

Add auth-source-pass (included with emacs 26) to your emacs config:

(require 'auth-source-pass)
(auth-source-pass-enable)

This prepends password-store to the variable auth-sources.

@thalesmg
thalesmg / ambient-sounds.csv
Created May 25, 2025 16:17 — forked from outer-outer-space/ambient-sounds.csv
A curated list of ambient soundscapes I like to listen to while working from home.
Title URL Description Category
Ambient Mixer https://www.ambient-mixer.com/ My all-time favorite source of ambient sound, this website provies relatively advanced customization options, although Aura takes the cake in that regard. What I like most is the number of community-submitted pop culture soundscapes available to choose from Customizable Ambient Soundscape on the Web
I Miss the Office https://imisstheoffice.eu/ This beautifully designed, customizable office noise simulator was recommended by my co-worker. For those of you who miss being in an office environment, this soundscape generator lets you build your soundscape with a variety of common office product sounds, and even lets you set the number of people murmuring in the background. Customizable Ambient Soundscape on the Web
A Soft Murmur https://asoftmurmur.com/ This minimal website lets you choose and combine between 10 free sounds, and 13 premium sounds that range from natural soundscapes to urban settings Customizable Ambient Soundscape on