jhrr

bind-key        C-b send-prefix
bind-key        C-o rotate-window
bind-key        C-z suspend-client
bind-key      Space next-layout
bind-key          ! break-pane
bind-key          " split-window
bind-key          # list-buffers
bind-key          $ command-prompt -I #S "rename-session '%%'"
bind-key          % split-window -h
bind-key          & confirm-before -p "kill-window #W? (y/n)" kill-window

jhrr

Super Guide to the split-window tmux Subcommand (and Beyond)

Guide overview

tmux, like other great software, is deceptive. On the one hand, it's fairly easy to get set up and start using right away. On the other hand, it's difficult to take advantage of tmux's adanced features without spending some quality alone time with the manual. But the problem with manuals is that they aren't geared toward beginners. They are geared toward helping seasoned developers and computer enthusiasts quickly obtain the

jhrr

# Adapted from github comment:
# https://github.com/dimitri/pgloader/issues/782#issuecomment-1136067634

if [ -z "$3" ]; then
    echo "Usage: $0 <db name> <mysql dump> <psql dump output>"
    echo "Requirements: docker"
    exit 1
fi

if ! command -v docker &> /dev/null

jhrr

;; Detect OS
(defvar macosx-p (string-match "darwin" (symbol-name system-type)))
 
;; osx fixes
(defun insert-hash ()
  (interactive)
  (insert "#"))
 
(defun set-exec-path-from-shell-PATH ()
  (let ((path-from-shell

jhrr

AWS S3 bucket and IAM policy recipes

• Recipes
  • Anonymous GET access
  • Anonymous GET access - match HTTP referrer
  • Full access for specific IAM user/role
  • GET/PUT/DELETE access to specific path within a bucket
  • Restricted LIST & PUT/DELETE access to specific path within a bucket
  • Full access (and S3 console) for specific IAM users
  • Bucket and object delete deny

jhrr

{-#  OPTIONS --type-in-type #-}
{- 
  Computer Aided Formal Reasoning (G53CFR, G54CFR)
  Thorsten Altenkirch

  Lecture 20: Russell's paradox

  In this lecture we show that it is inconsistent to have
  Set:Set. Luckily, Agda is aware of this and indeed 
  Set=Set₀ : Set₁ : Set₂ : ...

jhrr

What's this

Sample codes in this blog. https://dev.to/paprikamah/how-to-setup-aws-waf-v2-21f1

jhrr

$('#multi-films .film-grid').children().map(function() {
    var $this = $(this),
        rank = $this.find('.list-film-position').text().trim(),
        title = $this.find('.film-title').text().trim(),
        dirYear = $this.find('.director-year').text().trim(),
        re = dirYear.match(/^(.+), (\d+)$/),
        dir = re ? re[1] : dirYear,
        year = re ? re[2] : '';
    return [rank, title, year, dir].join('\t');
}).get().join('\n');

jhrr

/* bling.js */

window.$ = document.querySelectorAll.bind(document)

Node.prototype.on = window.on = function (name, fn) {
  this.addEventListener(name, fn)
}

NodeList.prototype.__proto__ = Array.prototype

jhrr

import itertools

def neighbors(point):
    x, y = point
    yield x + 1, y
    yield x - 1, y
    yield x, y + 1
    yield x, y - 1
    yield x + 1, y + 1
    yield x + 1, y - 1