dserodio

zsh completion

How to look up completion definitions

The name of the completion function for the command foo is $_comps[foo].

To see the code of a function myfunc, run echo -E $functions[myfunc], or just echo $functions[myfunc] if you have the bsd_echo option on, or print -rl $functions[myfunc]. So to see the code of the completion function for the command foo, run echo -E $functions[$_comps[foo]]. Alternatively, run which $_comps[foo] if the function name has no alias.

This shows the code without comments (and with normalized whitespace: it's a human-readable dump of the bytecode that zsh stores internally). If you want to see the original file defined in the code, run **[whence -v $_comps[foo]](http://zsh.sourceforge.net/Doc/Release/Shell-Buil

dserodio

Empty file to change the gist title

dserodio

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
	<key>Ansi 0 Color</key>
	<dict>
		<key>Alpha Component</key>
		<real>1</real>
		<key>Blue Component</key>
		<real>0.11575811356306076</real>

dserodio

Misc. Docker snippets

Build multi-platform image

1. Setup builx builder:

docker buildx create --name ourbuilder
docker buildx use ourbuilder

dserodio

Misc. Google Sheets snippets

dserodio

#!/bin/bash

# "Bash strict mode" (see http://redsymbol.net/articles/unofficial-bash-strict-mode/)
set -euo pipefail
IFS=$'\n\t'
# Improved "strict mode" (see https://olivergondza.github.io/2019/10/01/bash-strict-mode.html)
trap 's=$?; echo >&2 "$0: Error on line "$LINENO": $BASH_COMMAND"; exit $s' ERR

debug() {
  echo "[$(date +'%Y-%m-%dT%H:%M:%S%z')]: $*" >&2

dserodio

# Boilerplate for Python apps using OpenAI API.
# From DeepLearning.ai's "ChatGPT Prompt Engineering for Developers" mini-course

# First, these dependencies need to be installed:
#
# pip install openai python-dotenv

import openai
import os

dserodio

import requests

# Set the repo owner and name
owner = "YOUR_REPO_OWNER"
repo = "YOUR_REPO_NAME"

GITHUB_TOKEN = "YOUR_GITHUB_TOKEN"

# Set the GitHub API URL
url = f"https://api.github.com/repos/{owner}/{repo}/pulls"

dserodio

# Posted by Benjamin Lush on Datadog Slack
#
# I haven't tested it yet

import requests

url = "https://app.datadoghq.com/api/v1/dashboard_search?with_suggested=true&query=in%3Apreset_dashboard_list%2F1%20&start=0&count=1&sort="
result = requests.get(url, headers).json()
count = 50
for index in range(int(result['total']) // count + 1):

dserodio

# Parse date

# $ pip install python-dateutil
from dateutil import parser
begin = parser.parse("Aug 28 1999 12:00AM")
end = parser.parse("2013-09-11")

# Print duration
delta = end - begin
print str(delta)