Skip to content

Instantly share code, notes, and snippets.

View senyai's full-sized avatar
💭
preferring fossil to git

Arseniy Terekhin senyai

💭
preferring fossil to git
View GitHub Profile
@reytech-dev
reytech-dev / Fix.md
Last active March 20, 2024 10:19
ZONE_CONFLICT: 'docker0' already bound to a zone
  1. Check if docker zone exists in firewall-cmd
$ firewall-cmd --get-active-zones
  1. If "docker" zone is available, change interface to docker0 (not persisted)
$ sudo firewall-cmd --zone=docker --change-interface=docker0
  1. If "docker" zone is available, change interface to docker0 (persisted, thanks rbjorklin)
  1. Install package libstdc++6 (Ubuntu 16.04)
  2. Add following to ~/.gdbinit
python
import sys 
sys.path.insert(0, '/usr/share/gcc-9/python')
from libstdcxx.v6.printers import register_libstdcxx_printers
register_libstdcxx_printers (None)
end
@kudaba
kudaba / gh_actions_crash.md
Created November 12, 2019 05:11
Github actions: How to capture a crash dump

If an application is crashing during a github actions run then you can use this guide to capture the core as an artifact for debugging.

This guide was developed to debug Mac crashes specifically. It should mostly apply to Linux as well but getting dumps from Windows is unknown for now.

Mac / Linux

By default these systems will not be in a state where they are recording core dumps, and even when enabled you need to run with elevated permissions for a core to even be written. To capture dumps you need to do the following:

@jannismain
jannismain / CompactJSONEncoder.py
Last active May 7, 2025 17:40
A JSON Encoder in Python, that puts small lists on single lines.
#!/usr/bin/env python3
from __future__ import annotations
import json
class CompactJSONEncoder(json.JSONEncoder):
"""A JSON Encoder that puts small containers on single lines."""
CONTAINER_TYPES = (list, tuple, dict)
@dahu
dahu / fossil_name.sh
Created August 6, 2017 08:16
Script to set a fossil repository's project-name and description fields
#!/bin/sh
# Attribution: unknown. Probably taken from the fossil-users mailing list.
usage() { echo usage: $0 'archive.fossil "project name" "project description"' ; exit 1 ; }
dbname="$1"
pname="$2"
pdesc="$3"