- 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
| 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." |
| curl \ | |
| https://github.com/checkstyle/checkstyle/releases/download/checkstyle-8.33/checkstyle-8.33-all.jar \ | |
| -o /tmp/deleteme-checkstyle-8.33-all.jar -sL | |
| curl \ | |
| https://github.com/checkstyle/checkstyle/raw/ec015cd3529ddbb2005639782e1995e46c0a05d1/src/main/resources/google_checks.xml \ | |
| -o /tmp/deleteme-google_checks.xml -sL | |
| java \ | |
| -jar /tmp/deleteme-checkstyle-8.33-all.jar \ |