neumantm

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

#!/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

function descriptor()
   return {
      title = "Rollback X Seconds",
      capabilities = {"input-listener", "playing-listener"}
   }
end

function activate()
end
function close()

neumantm

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

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 $@

neumantm

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