Skip to content

Instantly share code, notes, and snippets.

View abtris's full-sized avatar

Ladislav Prskavec abtris

View GitHub Profile
@abtris
abtris / mirror_terminal.md
Created March 22, 2024 10:40
Mirror Terminal for speaker using extended display

Terminal Mirror

on the primary display

$ screen -S PRESO

mirror session on the secondary display

$ screen -x PRESO

alias:: {author lastname} ({year}) {title} tags:: [[publication]], [[Logseq citation manager]], type:: {type}; status:: icon:: 📚

  • {title}. {publisher}.
    • {author}, {year}.
  • Abstract:
    • {abstract}
@abtris
abtris / README.md
Created March 20, 2023 15:08
Pandoc - Markdown to PDF

Make pandoc -> PDF

  • this solve default margins
  • wrapping code correcly

Instatructions

  • install pandoc
@abtris
abtris / diagram-1.md
Last active March 4, 2023 11:03
DIagrams for durable task post
flowchart TD
    A[Amazon SWF]
    A-->B[Azure/durable task]
    A-->C[infinitic]
    B-->D[Azure Durable Functions]
    B-->E[Cadence]
    A-->E
    E-->F[Temporal.io]
 click A href "https://docs.aws.amazon.com/amazonswf/latest/developerguide/swf-welcome.html" "Amazon SWF"
@abtris
abtris / main.go
Created February 27, 2023 15:51
CTRL+C in main.go and context.WithCancel
package main
import (
"context"
"errors"
"fmt"
"os"
"os/signal"
)
@abtris
abtris / componenets.yaml
Created February 27, 2023 09:52
K8S metrics server custom 4443 port running
apiVersion: v1
kind: ServiceAccount
metadata:
labels:
k8s-app: metrics-server
name: metrics-server
namespace: kube-system
---
apiVersion: rbac.authorization.k8s.io/v1
kind: ClusterRole
@abtris
abtris / go.yml
Last active May 23, 2022 09:17
Easy use go.mod for Go version in Github Actions introduces in https://github.com/actions/setup-go/releases/tag/v3.1.0
name: Go tests
on: [ push, pull_request ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
@abtris
abtris / update.sh
Created May 17, 2022 07:47
Update git source code in all directories
for name in */ ; do
if [ -d "$name" ] && [ ! -L "$name" ]; then
cd $name
if [ -d ".git" ]; then
BRANCH=`git branch --no-color | grep -e "^*" | tr -d ' *'`
if [ "$BRANCH" == "master" ] || [ "$BRANCH" == "main" ]; then
if git remote | grep origin > /dev/null; then
printf 'Update source in directory: %s\n' "$name"
git pull
fi
@abtris
abtris / makefile.json
Created June 22, 2021 07:54
VSCode Snippets for Makefile
{
"default-makefile": {
"prefix": "help",
"body": [
"# https://suva.sh/posts/well-documented-makefiles/#simple-makefile",
".DEFAULT_GOAL:=help",
"SHELL:=/bin/bash",
"",
".PHONY: help deps clean build watch",
"",
@abtris
abtris / go.json
Last active December 7, 2020 07:08
VSCode Go snippets
{
"go main function": {
"prefix": "main",
"body": [
"package main",
"",
"func main() {\n\t$0\n}"
],
"description": "Main func"
},