Skip to content

Instantly share code, notes, and snippets.

View gonzalocasas's full-sized avatar

Gonzalo Casas gonzalocasas

View GitHub Profile
@gonzalocasas
gonzalocasas / evalhack.css
Last active July 8, 2020 17:05 — forked from loleg/evalhack.css
Dribdat customization for EvalHack
@import url(https://fonts.googleapis.com/css2?family=Lato);
body, p, div, span, h1, h2, h3, h4, h5, h6 { font-family:Lato }
/* Show event graphic, hiding detail info on event page */
.jumbotron.event-info * { display:none }
.jumbotron.event-info { background:url(https://blog.datalets.ch/workshops/2020/ipdet/IPDET_Hackathon-C.jpg) no-repeat center; background-size: contain; height:240px; width: 100% }
/* Customize the top navigation */
.navbar.navbar-light { background: #f7e94a; }
@gonzalocasas
gonzalocasas / README.md
Created August 27, 2018 13:13
Start a full ROS environment

Pre-workshop: Introduction to compas_fab

Windows users: the only Windows version that supports many of the requirements is Windows 10, making it a pre-requisite for everything else.

Requirements

@gonzalocasas
gonzalocasas / ros-install.sh
Last active March 9, 2018 08:56
Installer for ROS into a Raspberry Pi
#!/bin/bash
# Stop on the first sign of trouble
set -e
if [ $UID != 0 ]; then
echo "ERROR: Operation not permitted. Forgot sudo?"
exit 1
fi
@gonzalocasas
gonzalocasas / verein.md
Last active August 29, 2016 11:54
Open Network Infrastructure Association in short

Open Network Infrastructure Association in short

What means open infrastructure?

  • Free/open everyone, no questions asked, no permission required, no strings attached.
  • Aligned to the open definition: http://opendefinition.org/

Goals of the association

  • promote, support and find funding for open network infrastructure projects, such as community networks
  • organize workshops, tech sessions, meetups, etc
  • push for legal/political change to enable open infrastructure
@gonzalocasas
gonzalocasas / fire_and_forget.rb
Created May 30, 2016 23:18
Fire And Forget HTTP requests on Ruby
require 'socket'
require 'uri'
def fire_and_forget_post(url, body)
uri = URI.parse(url)
req = []
port = ":#{uri.port}" if uri.port != 80
req << "POST #{uri.request_uri} HTTP/1.1"
req << "Host: #{uri.host}#{port}"
@gonzalocasas
gonzalocasas / lorawan-gateways.geojson
Created November 19, 2015 10:00 — forked from vasile/lorawan-gateways.geojson
LoRaWAN Gateways in use
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@gonzalocasas
gonzalocasas / gist:d42127dccd1d6a95a46e
Created September 25, 2015 16:53
Search Github branches without cloning
$ zipgrep 'string' =(curl -sL https://github.com/org/repo/archive/branch.zip)