This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!-- | |
This file is Free Software under the MIT License | |
without warranty, see README.md and LICENSES/MIT.txt for details. | |
SPDX-License-Identifier: MIT | |
SPDX-FileCopyrightText: 2023 German Federal Office for Information Security (BSI) <https://www.bsi.bund.de> | |
Software-Engineering: 2023 Intevation GmbH <https://intevation.de | |
--> | |
<script lang="ts"> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<!--[if lt IE 7]> <html class="no-js lt-ie9 lt-ie8 lt-ie7"> <![endif]--> | |
<!--[if IE 7]> <html class="no-js lt-ie9 lt-ie8"> <![endif]--> | |
<!--[if IE 8]> <html class="no-js lt-ie9"> <![endif]--> | |
<!--[if gt IE 8]> <html class="no-js"> <!--<![endif]--> | |
<html> | |
<head> | |
<meta charset="utf-8" /> | |
<meta http-equiv="X-UA-Compatible" content="IE=edge" /> | |
<title></title> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/env python3 | |
import json | |
# MONSTERS = "test_conversion.json" | |
MONSTERS = "monstersCompendium.json" | |
""" | |
Example Statblock |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
SELECT | |
b.id, | |
lower(b.validity) AS valid_from, | |
COALESCE(upper(b.validity), current_timestamp) AS valid_to, | |
b.bottleneck_id, | |
b.objnam, | |
b.nobjnm, | |
b.area, | |
b.rb, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
WORKDIR=${PWD##*/} | |
MAINDIR="cmd/$WORKDIR" | |
mkdir -p "$MAINDIR" | |
MAIN=$(cat <<-EOF | |
package main | |
import "fmt" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
SELECT relname, | |
seq_scan - idx_scan AS too_much_seq, | |
CASE | |
WHEN seq_scan - idx_scan > 0 | |
THEN 'Missing Index?' | |
ELSE 'OK' | |
END AS result, | |
pg_relation_size(relid::regclass) AS rel_size, | |
seq_scan, | |
idx_scan |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
python -c "import secrets;print(str(secrets.token_urlsafe(32)))" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
exec 2>&1 ./mingo |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html class="no-js"> | |
<head> | |
<meta charset="utf-8" /> | |
<meta http-equiv="X-UA-Compatible" content="IE=edge" /> | |
<title></title> | |
<meta name="description" content="" /> | |
<meta name="viewport" content="width=device-width, initial-scale=1" /> | |
</head> | |
<body> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
const pixelsPerMapMillimeter = resolution / 25.4; // resolution = resolution to print at | |
const mapSizeForPrint = [ | |
Math.round(this.pdf.width * pixelsPerMapMillimeter), // 210 * resolution / DPI | |
Math.round(this.pdf.height * pixelsPerMapMillimeter) | |
]; | |
... | |
const scale = 100 | |
map.setSize(mapSizeForPrint); | |
const view = map.getView(); | |
const proj = view.getProjection(); |
NewerOlder