A lightweight, high-performance synthetic monitoring tool that performs HTTP checks and generates a static HTML dashboard. The "Static" approach ensures the dashboard is fast and can be hosted via any simple web server (Nginx, S3, etc.) without a live database or API.
app/
main.py # Orchestrator: manages queues and the main loop
config/ # YAML loader and validation logic
| geometry |
|
||||
|---|---|---|---|---|---|
| mainfont | Liberation Serif | ||||
| fontsize | 11.5pt | ||||
| pagestyle | empty |
| #!/bin/bash | |
| outfile="output.srt" | |
| main(){ | |
| i=0 | |
| for filename in *.txt; do | |
| no_unders="${filename//_}" | |
| start_hour="${no_unders:0:1}" | |
| start_min="${no_unders:1:2}" | |
| start_sec="${no_unders:3:2}" |
| import os | |
| import argparse | |
| import requests | |
| import json | |
| import base64 | |
| from xml.dom.minidom import parse | |
| def get_image_from_xml(nodelist): | |
| rc = [] | |
| for node in nodelist: |
| # Dockerfile for running https://github.com/kcroker/dpsprep | |
| # Steps to deploy: | |
| # 1) in an empty folder with this Dokcerfile run: | |
| # docker build . -t dps-arch | |
| # 2) in a folder with the djvu file(s) you want to convert to PDF: | |
| # sudo docker run --name dps-arch -d -it -v "$(pwd)":/files dps-arch | |
| # 3) convert a file "infile.djvu" to "outfile.pdf": | |
| # docker exec -it dps-arch dpsprep infile.djvu outfile.pdf | |
| FROM archlinux:base-devel |
| (defun my/paste-quote (pages) | |
| "inserts and formats text from the clipboard, formatted for org-mode" | |
| (interactive "sEnter page number\(s\): ") | |
| ;;;; convert clipboard to string | |
| (setq quote | |
| (with-temp-buffer | |
| (yank) | |
| (buffer-string) | |
| )) | |
| ;;;; remove newlines from string |
| # convert multipage pdf to single page tiff | |
| gs -q -dNOPAUSE -dBATCH -sDEVICE=tiffg4 -sOutputFile=%04d.tif source.pdf -c qui | |
| # or use -sDEVICE=pgmraw to convert to pgm | |
| # unpaper, rotate the logical page 90 degrees, each logical page contained two scanned physical pages, so we use --layout double (for input) and --output-pages 2 since we want to split these two pages. | |
| unpaper -v --deskew-scan-deviation 3.0 --border-align top --deskew-scan-range 15 --no-grayfilter --no-blurfilter --no-noisefilter --overwrite --pre-rotate 90 --border-scan-step 4 --layout double --output-pages 2 %04d.pgm.pbm unpaper%04d.pbm | |
| # trim the pages and convert the to single-page pdfs | |
| find . -name 'unpaper*' | xargs -i -n1 -P6 convert -trim +repage {} {}.pdf |