Skip to content

Instantly share code, notes, and snippets.

View steffiland's full-sized avatar
🏠
Working from home

steffiland

🏠
Working from home
1 follower · 0 following
  • Germany
View GitHub Profile
@steffiland
steffiland / numberedheadings.html
Last active January 12, 2018 12:12
CSS-auto-numbered headings for HTML documents
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Numbered Headings</title>
</head>
<body>
<style>
body {counter-reset: ebene1;}
@steffiland
steffiland / markdown.md
Last active February 7, 2018 10:56
https://gistdeck.github.com/steffiland/e4d892f1f9b75c6aa3fa5e73ba6b78a9

name: inverse layout: true class: center, middle, inverse

##Markdown Demos 💥

layout: false

Writing presentations in MarkDown

@steffiland
steffiland / httpservers.md
Created February 7, 2018 10:43
quick and simple HTTP servers

Works on windows as well.

Python2:

python -m SimpleHTTPServer [8000]     # starts a simple http server in current directory
python -m CGIHTTPServer [8000]          # allow cgi-bin subdirectory

Python3:

@steffiland
steffiland / stuff.md
Created February 7, 2018 14:31
@steffiland
steffiland / Read List.md
Last active June 6, 2018 10:26
@steffiland
steffiland / push.html
Created May 20, 2019 08:51
Push Notifications Minimal example
<!DOCTYPE html>
<html>
<head>
<title>Using Push.js to Display Web Browser Notifications</title>
<script src="https://cdnjs.cloudflare.com/ajax/libs/push.js/1.0.9/push.min.js"></script>
</head>
<body>
@steffiland
steffiland / ssh_config
Created May 23, 2019 07:48 — forked from rbenaley/ssh_config
GitHub ssh access via HTTP Proxy
host github.com
user git
hostname ssh.github.com
port 443
proxycommand socat - PROXY:<hostname>:%h:%p,proxyport=<port>
@steffiland
steffiland / webtools.md
Last active July 1, 2019 07:34
Mini Web Tool Collection
@steffiland
steffiland / 00_readme.md
Last active August 4, 2020 18:47
Putzplan

Putzplan Flylady

this is a static html webapp based on Tiddlywiki.

@steffiland
steffiland / Detect Telegram Chat IDs.md
Last active October 3, 2019 10:52

How to detect Telegram Chat IDs

... by opening https://web.telegram.org/ in a Browser:

for a user

group

Open the group's chat window and inspect the URL: https://web.telegram.org/#/im?p=g[GROUP_ID] ⇒ the chat ID will be -[GROUP_ID] (prepend a minus)