Install the following packages as an administrator. They will be needed when building python.
sudo apt install build-essential libbz2-dev libsqlite3-dev libreadline-dev libssl-dev zlib1g-dev libgdbm-dev liblzma-dev uuid-dev libffi-dev
muxator
muxator
/ execute_z3py_docs.py
Last active
September 26, 2025 23:02
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 python | |
| # | |
| # This script goes through the z3guide (https://github.com/microsoft/z3guide) | |
| # python documentation, extracts the z3 snippets and executes them in a | |
| # subintepreter, reporting errors. | |
| # | |
| # This is a follow-up to: https://github.com/microsoft/z3guide/pull/206 | |
| # | |
| # Requires python >= 3.14 |
muxator
/ etherpad-issue-3600.sh
Created
December 25, 2019 00:50
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
| #!/bin/bash | |
| set -eu | |
| set -o pipefail | |
| PAD_NAME="shouldbepublic" | |
| BASE_URL="http://localhost:9001" | |
| APIKEY=$(<APIKEY.txt) | |
| err_report() { |
muxator
/ python-projects-with-pyenv.md
Created
October 24, 2019 08:58
Manage your python projects with pyenv