quenhus

Moved to repo: /quenhus/uBlock-Origin-dev-filter

In order to keep filters up to date, please use this repo.

domenkozar

wpa_supplicant -B -i interface -c <(wpa_passphrase 'SSID' 'key').

ping 1.1.1.1

parted /dev/nvme0n1 -- mklabel gpt
parted /dev/nvme0n1 -- mkpart primary 512MiB -0
parted /dev/nvme0n1 -- mkpart ESP fat32 1MiB 512MiB
parted /dev/nvme0n1 -- set 2 esp on

cryptsetup luksFormat /dev/nvme0n1p1

nomeata

-- Many faces of isOrderedTree 
-- Code to the talk (extended version)

{-# LANGUAGE DeriveFoldable #-}
module Tree where

import Control.Monad
import Data.Maybe
import Data.Foldable

m4lvin

# install Agda 2.5.4.2 from stackage with stack instead of cabal
cd $HOME
stack install --resolver lts-12.26 Agda

# install standard library v0.17
cd $HOME/gits
git clone 
git clone https://github.com/agda/agda-stdlib.git
cd agda-stdlib    
git checkout v0.17

shortjared

a4b.amazonaws.com
access-analyzer.amazonaws.com
account.amazonaws.com
acm-pca.amazonaws.com
acm.amazonaws.com
airflow-env.amazonaws.com
airflow.amazonaws.com
alexa-appkit.amazon.com
alexa-connectedhome.amazon.com
amazonmq.amazonaws.com

kishiamy

To eat

• El Herreño (Canarian typical food): https://goo.gl/maps/1hueqs8oGEn
• El Roque https://goo.gl/maps/gudNFLHMk8A2
• Cubateria or Los Pescaditos (fish): https://goo.gl/maps/nj3WNTS2BoF2
• Las Brasas (meat and Canarian typical food): https://goo.gl/maps/PZPDQCo44P22
• El Balcon de Zamora (meat and Canarian typical food): https://goo.gl/maps/NJfHfETb2Lt
• Cofradia Pescadores Arguineguin (fish): https://goo.gl/maps/h1KPnbNna7u
• Restaurante Vega: https://goo.gl/maps/JJDtu76UVzw
• Mirador el Atlante: https://goo.gl/maps/2m5KYnEpXyA2

pecigonzalo

#!/bin/bash

bucket=$1

set -e

echo "Removing all versions from $bucket"

versions=`aws s3api list-object-versions --bucket $bucket |jq '.Versions | .[] | select(.IsLatest | not)'`
markers=`aws s3api list-object-versions --bucket $bucket |jq '.DeleteMarkers'`

pecigonzalo

#! /usr/bin/env python

# Import a mbox file to a Google Group using https://developers.google.com/admin-sdk/groups-migration/index
# You'll need to install https://developers.google.com/api-client-library/python/
# and enable Groups Migration API, read prerequisits of the API SDK

from __future__ import print_function

import mailbox
import StringIO

groteck

port module Facebook exposing (..)

import Html exposing (..)
import Html.Attributes exposing (..)
import Html.Events exposing (..)
import String
import Debug


main =

pecigonzalo

#!/bin/bash

MANAGER=${1:-2}
WORKER=${2:-3}

#=========================
# Creating cluster members
#=========================
echo "### Creating $MANAGER managers"
echo "### Creating $WORKER workers"