hashlash

Volume

docker volume ls --format {{.Name}} | xargs docker inspect --format {{.Mountpoint}} | sudo xargs du -sh

Bootstraping clusters with kubeadm

ip a
ip link show
ip r

x/nfu addr

n, the repeat count. Decimal integer, default to 1, counted by units u.
f, the display format. Default changes each time using x or print command.

It use negation (unlike definite logic program) which make the logical entailment not hold.

Program Completion (Clark, 1978): change rule's implication to bi-implication
Stable Model Semantic (Gelfond and Lifschitz, 1988): remove negative literals (either the whole rule, or just the literal in the body)

	openapi: 3.0.2
	info:
	title: Your Project
	version: 1.0.0
	description: "API for all things \u2026"
	paths:
	/example-model/:
	get:
	operationId: listExampleModels
	description: Concrete view for listing a queryset or creating a model instance.

	(cors) {
	@origin{args.0} header Origin {args.0}
	header @origin{args.0} Access-Control-Allow-Origin "{args.0}"
	}

	(cors_regexp) {
	@origin_regexp{args.0} header_regexp Origin {args.0}
	header @origin_regexp{args.0} Access-Control-Allow-Origin "{header.Origin}"
	}

	import json
	import re
	import requests
	import uuid

	# No OAuth scope required
	# Just create a personal access token on https://github.com/settings/tokens/new
	API_KEY = 'api key example'

	QUERY_FORMAT = '''

	$ ./manage.py makemigrations
	No changes detected
	$ ./manage.py migrate
	Operations to perform:
	Apply all migrations: admin, auth, contenttypes, my_app, sessions
	Running migrations:
	No migrations to apply.
	$ ./manage.py migrate --fake my_app zero
	Operations to perform:
	Unapply all migrations: my_app