- Create a file at
pintos/gdb-cwith one line as the content:
gdb -x /pintos/src/misc/gdb-macros $@
- In the pintos shell, make the new file executable:
$ chmod +x /pintos/gdb-c
| # --- Publish a git commit as a gist patch --- | |
| gist_commit() { | |
| local sha="$1" | |
| local desc="${2:-"Patch for commit $sha"}" | |
| if [ -z "$sha" ]; then | |
| echo "Usage: gist_commit <commit-sha> [description]" | |
| return 1 | |
| fi |
| import assert from 'node:assert'; | |
| import { | |
| createRegExp, | |
| exactly, | |
| oneOrMore, | |
| char, | |
| wordChar, | |
| whitespace, | |
| maybe, | |
| } from 'magic-regexp'; |
| name: Publish to GitHub Page | |
| on: | |
| push: | |
| branches: [main] | |
| jobs: | |
| build-and-deploy: | |
| runs-on: ubuntu-latest |
| #!/bin/bash | |
| # See: https://wiki.yyin.me/guides/cert | |
| function create-key-pair() { | |
| if [ $# -ne 1 ]; then echo 'Args: key pair name'; return; fi | |
| openssl genrsa -out $1.key 2048 | |
| } | |
| function create-self-signed-cert() { |
| /* | |
| * [Relative Date Internationalization In JavaScript | Web Dev Simplified Blog](https://blog.webdevsimplified.com/2020-07/relative-time-format/) | |
| * | |
| */ | |
| const formatter = new Intl.RelativeTimeFormat(undefined, { | |
| numeric: "auto", | |
| }) | |
| const DIVISIONS = [ |
| #!/bin/sh | |
| # Usage: | |
| # $ mymediadl URL [FILE_NAME] | |
| mymediadl() { | |
| URL=$(echo "$1" | awk -F '/' '{ print $NF }') | |
| echo "Downloading $URL" | |
| NAME="$2" | |
| if [[ -z $NAME ]]; then |
pintos/gdb-c with one line as the content:gdb -x /pintos/src/misc/gdb-macros $@
$ chmod +x /pintos/gdb-c
| https://www.netlify.com/blog/2018/08/23/how-to-easily-visualize-a-projects-dependency-graph-with-dependency-cruiser/ | |
| npm i -g dependency-cruiser | |
| brew install graphviz | |
| depcruise --exclude "^node_modules" --output-type dot src | dot -T svg > dependencygraph.svg | |
| // For format details, see https://aka.ms/vscode-remote/devcontainer.json or this file's README at: | |
| // https://github.com/microsoft/vscode-dev-containers/tree/v0.122.1/containers/docker-existing-dockerfile | |
| { | |
| "name": "Existing Dockerfile", | |
| // Sets the run context to one level up instead of the .devcontainer folder. | |
| "context": "..", | |
| // Update the 'dockerFile' property if you aren't using the standard 'Dockerfile' filename. | |
| "dockerFile": "../Dockerfile", | |
| // Set *default* container specific settings.json values on container create. | |
| "settings": { |
| #!/bin/bash | |
| function die() { | |
| echo "${1}" | |
| exit 1 | |
| } | |
| which printf > /dev/null 2>&1 || die "Shell integration requires the printf binary to be in your path." | |
| which sed > /dev/null 2>&1 || die "Shell integration requires the sed binary to be in your path." |