Skip to content

Instantly share code, notes, and snippets.

View neumantm's full-sized avatar

Tim Neumann neumantm

  • Vector Informatik
  • Stuttgart
View GitHub Profile
@neumantm
neumantm / preContent.md
Created November 12, 2023 17:44
ReqDoc Priority Questionnaire

This is a questionnaire to survey the priority of the various requirements.

For the full requirements document including some paragraphs of explanation, see the full requirements document.

Please fill out the following three values for each requirement (if you do not have an opinion on a requirement, please leave it blank):

  • Priority: The priority of the requirement. The higher the number, the more important the requirement is.
  • 0 means "I do not want this requirement to be fulfilled at all"
@neumantm
neumantm / buildHtml.sh
Created November 12, 2023 17:40
ReqDoc Make Full Document
#!/usr/bin/env bash
buildDir="build/toHtml"
artifactPath="build/artifacts/path-to/requirements.zip"
# Unpack markdown
if ! test -f "$artifactPath"; then
echo "No artifact found at $artifactPath"
exit 1
@neumantm
neumantm / rollback.lua
Created November 12, 2023 17:29
VLC Rollback on Pause Plugin
function descriptor()
return {
title = "Rollback X Seconds",
capabilities = {"input-listener", "playing-listener"}
}
end
function activate()
end
function close()
@neumantm
neumantm / IDE Error
Last active October 10, 2023 16:43
Build Script Notifier Error on 2022.3
IDE Error
Title: Failed to dispose part class com.specificlanguages.buildnotifier.plugin.CheckerLifecycleManager_ProjectPluginPart of project plugin class com.specificlanguages.buildnotifier.plugin.Buildnotifier_ProjectPlugin
Application information
Build info:
Application name: JetBrains MPS 2022.3
Build number: MPS-223.8836.1185
Version: 2022.3
@neumantm
neumantm / MakefileBuildingMarkdownWithPlantUML
Last active August 24, 2023 14:26
Build Markdown with PlantUml snippets
all: editor.pdf language.pdf
BUILD_LANGUAGE_MD:=.build_language_md
IMG_EXTENSIOM:=svg
editor.pdf: editor.md
pandoc -f gfm -i $< -o $@
language.pdf: ${BUILD_LANGUAGE_MD}/language.md ${BUILD_LANGUAGE_MD}/imgs/
pandoc -f gfm -i $< -o $@
Oct 13 16:51:38 kube03 containerd[17528]: time="2021-10-13T16:51:38.503450406+02:00" level=debug msg=Unauthorized header="Bearer realm=\"https://auth.docker.io/token\",service=\"registry.docker.io\",scope=\"repository:pretix/standalone:pull\"" host=registry-1.docker.io
Oct 13 16:51:38 kube03 containerd[17528]: time="2021-10-13T16:51:38.503373637+02:00" level=debug msg="fetch response received" host=registry-1.docker.io response.header.content-length=160 response.header.content-type=application/json response.header.date="Wed, 13 Oct 2021 14:51:38 GMT" response.header.docker-distribution-api-version=registry/2.0 response.header.docker-ratelimit-source=129.69.139.28 response.header.strict-transport-security="max-age=31536000" response.header.www-authenticate="Bearer realm=\"https://auth.docker.io/token\",service=\"registry.docker.io\",scope=\"repository:pretix/standalone:pull\"" response.status="401 Unauthorized" url="https://registry-1.docker.io/v2/pretix/standalone/manifests/stable"
Oct 13 16:51:37 kube03 cont