- Create a file at
pintos/gdb-c
with 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 \ |