- Run
npm install
- Run
npm run build
- Use
node dist/provision.cjs **/*.md
inside your top-level Python virtual environment that is used by MyST to run Jupyter Server
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
set -eu | |
# We ensure that nothing has the wrong project by clearing project IDs | |
# Clear the /export/staging project (it's not actually a project, but this works) | |
xfs_quota -x -c "project -C -p /export/staging 0" /export -D /dev/null -P /dev/null | |
# We ensure no quotas are set, so that the reconciliation loop happens | |
# Clear all quotas | |
cut -d: -f1 /etc/projid | tail -n+2 | xargs -I{} xfs_quota -x -c 'limit -p bhard=0 {}' -D /etc/projects -P /etc/projid /export |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import retextSpell from "retext-spell"; | |
async function loadDictionary(dictionary) { | |
const baseUrl = new URL(`https://unpkg.com/dictionary-${dictionary}@latest/`); | |
const [aff, dic] = await Promise.all([ | |
fetch(new URL("index.aff", baseUrl)), | |
fetch(new URL("index.dic", baseUrl)), | |
]); |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
.jp-NotebookPanel-toolbar { | |
display: none; | |
& ~ *{ | |
top: 0px!important; | |
} | |
} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[flake8] | |
# Match black | |
max-line-length = 88 | |
# Allow asymmetric commas, etc. | |
extend-ignore = | |
E203, | |
# Spurious warnings in JupyterLab for code cells that follow Markdown cells | |
E303 | |
exclude = .git,__pycache__,build,dist,.venv | |
max-complexity = 10 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python3 | |
import re | |
import sys | |
import tomllib | |
import json | |
import argparse | |
import pathlib | |
import shutil | |
import subprocess |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import { | |
JupyterFrontEnd, | |
JupyterFrontEndPlugin | |
} from '@jupyterlab/application'; | |
import { ICommandPalette } from '@jupyterlab/apputils'; | |
/** | |
* Initialization data for the myextension extension. | |
*/ | |
const plugin: JupyterFrontEndPlugin<void> = { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// ==UserScript== | |
// @name MyST Slides | |
// @namespace http://tampermonkey.net/ | |
// @version 2025-06-25 | |
// @description Move between pages in MyST. Keys can be set in CSS via `--key-slide-next|prev` on the `:root` elem. | |
// @author Angus Hollands | |
// @match *://*/* | |
// @icon https://www.google.com/s2/favicons?sz=64&domain=undefined.localhost | |
// @grant none | |
// ==/UserScript== |
NewerOlder