Skip to content

Instantly share code, notes, and snippets.


Leo Verto LeoVerto

View GitHub Profile
LeoVerto / Add-ignore_prefix-configuration-option.patch
Created Aug 25, 2015
Download to root of project and run "git apply Add-ignore_prefix-configuration-option.patch" to apply.
View Add-ignore_prefix-configuration-option.patch
From 69b7d2a3d8f62edb717aabc7a094ee13798d4de5 Mon Sep 17 00:00:00 2001
From: LeoVerto <>
Date: Thu, 30 Jul 2015 04:41:22 +0300
Subject: [PATCH] Add ignore_prefix configuration option
This option allows users to prevent a message from being logged by starting it with a configurable prefix.
Possible prefixes include: "[off]", ".off" and "[ignore]".
botbot/apps/plugins/core/ | 31 +++++++++++++++++++++----------
View KMP json test
"version": "",
"port": 2078,
"playersActive": 0,
"playersMax": 8,
"playersOnline": {},
"serverInfo": "Leo's KMP dev server",
"updatesPerSecond": 60,
"shipsInactive": 100,
"screenshotHeight": 512,
LeoVerto / nukeAPI
Last active Aug 29, 2015
Custom ComputerCraft shell based on a file browser by some other guy.
View nukeAPI
-- Initialize some variables for later
local xMax, yMax = term.getSize()
local row = 4, 3, 1
-- Returns a table of possible icon origin positions
function originTable(maxCol, maxRow)
local tOrigins = {}
for i=1, maxRow do
for j=1, maxCol do
table.insert(tOrigins, {3+9*(j-1), 2+6*(i-1)})
View .gitignore
# Package Files #
# Forge and vanilla #
View reddit-robin-autogrow.js
// Paste this into your browser's dev console to automatically click "Grow" once a minute.
setInterval(function () {document.getElementsByClassName("robin--vote-class--increase")[0].click();}, 60000);
LeoVerto / reddit-robin-remember-turley.user.js
Last active Apr 1, 2016
Slightly modified userscript with built-in REMEMBER TURLEY
View reddit-robin-remember-turley.user.js
// ==UserScript==
// @name Robin Auto-Growth & Remember Turley
// @namespace com.github.leoverto
// @include
// @version 1
// @grant none
// ==/UserScript==
setTimeout(function () {
document.getElementsByClassName("text-counter-input")[0].value = "REMEMBER TURLEY!";
LeoVerto / reddit-robin-autogrowth.user.js
Last active Apr 1, 2016
Userscript for automatically voting "Growth" on reddit robin
View reddit-robin-autogrowth.user.js
// ==UserScript==
// @name Robin Auto-Growth
// @namespace com.github.leoverto
// @include
// @version 1
// @grant none
// ==/UserScript==
setTimeout(function () {
console.log("WE SHALL GROW!");
LeoVerto /
Last active May 7, 2016
MetaBrainz meeting botbot plugin pseudocode

MB meeting botbot plugin

Config options:

  • [meeting start time] (UTC) = "19:00"
  • [meeting end time] (UTC) = "20:00"
  • [meeting start msg] = "<BANG>"
  • [meeting end msg] = "</BANG>"
  • [meeting managers] = "Freso;ruaok"
  • [report time] = 180
  • [report warn time] = 60

Keybase proof

I hereby claim:

  • I am leoverto on github.
  • I am leo_verto ( on keybase.
  • I have a public key ASBb9O1ioRO99_5CNOSDXZ_O-MvW3A_nqGIckFS10nHKFwo

To claim this, I am signing this object:


Creating a complete botbot development environment using Docker containers

Botbot is a strange piece of software, it consists of three different repositories and uses at least three different programming languages (namely Python, Go and JS).

For basic plugin development using botbot-shell if often sufficient but as soon as you want to do some manual integration testing or work on botbot-web you're going to need a full dev environment.

The goal of this guide is to walk you through setting up a complete botbot setup that I would not exactly recommend for production but should be fine for development and testing.

Disclaimer: This guide assumes you won't want to work on botbot-bot as we haven't forked that yet but go should allow for installing packages from local sources the same way pip does.