elreydetoda’s gists

elreydetoda / CodiMD Server Vagrantfile with alias

Last active May 25, 2019 13:55

test out and use codi md server (https://demo.codimd.org/), for live rendering markdown, with a vagrant box, navigate to http://192.168.33.10:3000/ to use and create an account to easily aggregate notes. The first Vagrantfile is for when you want to only run codimd, and when you ssh in it will auto start codimd. Compared to the second one is an …

	Vagrant.configure("2") do \|config\|
	config.vm.box = "bento/ubuntu-18.04"
	config.vm.network "private_network", ip: "192.168.33.10"
	# not necessary but makes things faster (comment out if you use another hypervisor)
	config.vm.provider "virtualbox" do \|vb\|
	vb.memory = "4096"
	end
	config.vm.provision "shell", inline: <<-SHELL
	apt-get update
	curl -fsSL https://get.docker.com \| bash

elreydetoda / Vagrantfile

Created May 25, 2019 13:54

test out and use codi md server (https://demo.codimd.org/), for live rendering markdown, with a vagrant box, navigate to http://192.168.33.10:3000/ to use and create an account to easily aggregate notes. The first Vagrantfile is for when you want to only run codimd, and when you ssh in it will auto start codimd. The second one is an alias for st…

	Vagrant.configure("2") do \|config\|
	config.vm.box = "bento/ubuntu-18.04"
	config.vm.network "private_network", ip: "192.168.33.10"
	# not necessary but makes things faster (comment out if you use another hypervisor)
	config.vm.provider "virtualbox" do \|vb\|
	vb.memory = "4096"
	end
	config.vm.provision "shell", inline: <<-SHELL
	apt-get update
	curl -fsSL https://get.docker.com \| bash

elreydetoda / keybase.md

Created May 29, 2019 07:52

Keybase proof

I hereby claim:

I am elreydetoda on github.
I am elrey741 (https://keybase.io/elrey741) on keybase.
I have a public key ASCmjduOLv_WDfSAwzgi2PeMP3IXXcWwSDNIh8N6frwQgQo

To claim this, I am signing this object:

elreydetoda / Vagrantfile

Last active December 26, 2020 17:02

Algo vpn Vagrantfile. Simply vagrant up then ./algo, checkout the z-cmds section for easy consumption (z- is prepended so you see the vagrant files first).

	# -- mode: ruby --
	# vi: set ft=ruby :

	Vagrant.configure("2") do \|config\|
	config.vm.box = "bento/ubuntu-18.04"
	config.vm.provision "shell", inline: <<-SHELL
	# installing and configure docker stuff
	curl -fsSL 'https://get.docker.com' \| bash
	sudo usermod -aG docker vagrant

elreydetoda / Set-WindowsUTCTime.ps1

Last active September 25, 2025 13:54

used to make windows recognize the bios clock as UTC, which is used by a lot of *nix distros, and will screw up your time if you dual boot.

	# script came from: https://devblogs.microsoft.com/scripting/update-or-add-registry-key-value-with-powershell/
	# values for script came from: https://weblogs.asp.net/dfindley/Set-hardware-clock-to-UTC-on-Windows-_2800_or-how-to-make-the-clock-work-on-a-Mac-Book-Pro_2900_

	# Registry path for where the key should go
	$registryPath = "HKLM:\SYSTEM\CurrentControlSet\Control\TimeZoneInformation"
	# name of registry key you are adding
	$Name = "RealTimeIsUniversal"
	# value of key
	$value = "1"

elreydetoda / .screenrc

Last active September 27, 2019 18:42 — forked from joaopizani/.screenrc

A killer GNU Screen Config

	# the following two lines give a two-line status, with the current window highlighted
	hardstatus alwayslastline
	hardstatus string '%{= kG}[%{G}%H%? %1`%?%{g}][%= %{= kw}%-w%{+b yk} %n*%t%?(%u)%? %{-}%+w %=%{g}][%{B}%m/%d %{W}%C%A%{g}]'

	# huge scrollback buffer
	defscrollback 5000

	# no welcome message
	startup_message off

elreydetoda / Vagrantfile

Last active October 14, 2019 09:12

algo_blog_post_00 base vagrant box for algo blog post: https://blog.secureideas.com/2019/10/wireguard's-pki-in-5-steps-or-less.html

	# -- mode: ruby --
	# vi: set ft=ruby :

	Vagrant.configure("2") do \|config\|
	config.vm.box = "bento/ubuntu-18.04"
	config.vm.provision "shell", inline: <<-SHELL
	apt-get update
	export DEBIAN_FRONTEND='noninteractive'
	sudo apt-get update && sudo apt-get install \
	build-essential \

elreydetoda / Vagrantfile

Last active October 14, 2019 09:09

algo_blog_post_01 vagrant file for my personal config algo blog post: https://blog.secureideas.com/2019/10/wireguard's-pki-in-5-steps-or-less.html

	# -- mode: ruby --
	# vi: set ft=ruby :

	Vagrant.configure("2") do \|config\|
	config.vm.box = "bento/ubuntu-18.04"
	config.vm.provision "shell", inline: <<-SHELL
	apt-get update
	export DEBIAN_FRONTEND='noninteractive'
	sudo apt-get update && sudo apt-get install \
	build-essential \

elreydetoda / config.cfg

Created October 14, 2019 09:04

algo_blog_post_02 personal algo config for algo blog post: https://blog.secureideas.com/2019/10/wireguard's-pki-in-5-steps-or-less.html

	---

	# This is the list of users to generate.
	# Every device must have a unique username.
	# You can generate up to 250 users at one time.
	# Usernames with leading 0's or containing only numbers should be escaped in double quotes, e.g. "000dan" or "123".
	users:
	- phone
	- laptop
	- desktop

elreydetoda / cmdz.sh

Created October 14, 2019 10:43

algo_blog_post_03 commands for algo blog post: https://blog.secureideas.com/2019/10/wireguard's-pki-in-5-steps-or-less.html

	# if you a vanilla install
	wget 'https://gist.githubusercontent.com/elreydetoda/bac472aef59fc8d47145c4f25330187b/raw/Vagrantfile'

	# if you want my personal config
	wget -O Vagrantfile 'https://gist.githubusercontent.com/elreydetoda/bac472aef59fc8d47145c4f25330187b/raw/Vagrantfile.elrey'

	## my personal config contains the following customizations
	# - pki_in_tmpfs: false - changed to not be in tmpfs so you can continue to use wireguard for long periods of time (although, cool feature checkout more here: https://github.com/trailofbits/algo/issues/145)
	# - disables ipsec vpn, to only use wireguard
	# - sets the wireguard_PersistentKeepalive to 25 to help with NAT Traversal (https://www.wireguard.com/quickstart/#nat-and-firewall-traversal-persistence)

Alex Rodriguez elreydetoda

Keybase proof