Skip to content

Instantly share code, notes, and snippets.

View mennucc's full-sized avatar
😬
I am anguished by war

A Mennucc mennucc

😬
I am anguished by war
View GitHub Profile
@mennucc
mennucc / README.md
Last active June 8, 2026 12:38
parse for latex overfulls

LaTeX Overfull Parser

latex_overfull_parser.py reads a LaTeX .log file and lists Overfull \hbox warnings with the source file, source line, amount in points, and log line.

Usage

Run it from the directory containing the LaTeX source and log:

This script UC96_logger reads the Bluetooth data from the

  • USB Digital Tester
  • model J7-c
  • produced by SJAMING

that appears as a Bluetooth gadget as UC96_SPP.

The script is in Python, and it should run fine in a GNU/Linux operating system.

Two Python classes that rotate log files and compress them

@mennucc
mennucc / wingdb
Created November 14, 2025 08:16
wingware wingdb with python autodetection
#!/bin/bash
# Script used to debug sub-processes launched via sys.executable
# We replace sys.executable with this script, which inserts code
# that starts debugging before the users's module is invoked.
# The command line contains the file name to debug and its arguments
# The debugger is configured using the following envs:
#
@mennucc
mennucc / Makefile
Last active July 1, 2025 17:56 — forked from greenbigfrog/Makefile
Brief instructions to (re)compile nct6775 kernel module using DKMS
obj-m := nct6775-core.o
nct6775-objs := nct6775-platform.o
obj-$(CONFIG_SENSORS_NCT6775) += nct6775.o
## this is not currently compiled
#obj-$(CONFIG_SENSORS_NCT6775_I2C) += nct6775-i2c.o
@mennucc
mennucc / README.md
Last active May 26, 2025 08:36
Rsyslog & TLS & Letsencrypt

Rsyslog & TLS & Letsencrypt

rsyslog can send logs to a remote server, encrypted with TLS (to avoid tampering and MIM attacks); but generating certificates can be difficult; enters letsencrypt to save the day.

Currently the module imtcp seems to have a bug [1] so we use relp

We assume Ubuntu or Debian below. All commands are to be done as root, or using sudo

On each box (both client and server)