Skip to content

Instantly share code, notes, and snippets.

View ties's full-sized avatar

Ties de Kock ties

  • The Netherlands
View GitHub Profile
version: '2.1'
services:
#
# Nextcloud
#
nextcloud:
image: nextcloud
depends_on:
- nextcloud-db
---
- name: Run windows updates and reboot if required
win_updates:
category_names:
- Application
- CriticalUpdates
- DefinitionUpdates
- SecurityUpdates
- UpdateRollups
- Updates
import { Mutation, MutationFn, MutationResult, Query } from "react-apollo";
import authenticationState from "./authentication-state.graphql";
import enrollMutation from "./enroll-mutation.graphql";
import {
authenticationState as authenticationStateType,
enrollmentStart as enrollmentStartType,
enrollMutation as enrollMutationType,
enrollMutationVariables,
"""
A utility script to copy the windows truetype fonts as recommended in [0].
[0]: https://pandasauce.org/post/linux-fonts/
"""
import argparse
import logging
import os
import shutil
import sys
"""
A basic logical error in Z3/python code.
In order to enumerate all valid solutions, a solution is added as a constraint that should not be
matched.
Two ways of writing; which is correct (bug present in code on stackoverflow...)
"""
def not_again(self, model) -> None:
"""Exclude a current solution from the future results."""
@ties
ties / docker-compose.apps.yml
Last active December 8, 2018 21:20
Traefik/Docker
version: '3'
services:
# [...]
# A LAN-only container:
iot-grafana:
image: grafana/grafana
restart: unless-stopped
networks:
iot:
#
# Lenovo Throttle Fix configuration for my HP Zbook Studio G5
# (undervolt settings are motherboard dependent and will likely not
# apply to your system.)
#
# Fixes the 15W/35W throttling issue in Linux :)
#
[GENERAL]
# Enable or disable the script execution
Enabled: True
@ties
ties / line_uglify.py
Created November 13, 2018 13:43
Uglify (mix) line endings. Creates incompatible files.
"""
Replace line endings by 'mixed' line endings.
Behaviour is untested
"""
import argparse
import random
from typing import TextIO
import sys
"""
Quite quick, quite dirty search script for RIPTE db
"""
import aiohttp
import asyncio
import json
import itertools
import netaddr
version: '3'
#
# Config for powerdns is saved in /opt/powerdns/
#
# Take pdns.conf from https://raw.githubusercontent.com/psi-4ward/docker-powerdns/master/pdns.conf
# and create /opt/powerdns/pdns/conf.d/api.conf with
#
# api=yes
# api-key=6d238bb754ffe84d9b1fdc967cb16a546ea7a32cdd2438497912137440bd0c75
# webserver-address=0.0.0.0