Skip to content

Instantly share code, notes, and snippets.

View krohn's full-sized avatar
👋

Karsten Krohn krohn

👋
2 followers · 2 following
  • Hamburg, Germany
View GitHub Profile
@DotCoyote
DotCoyote / api.ts
Created February 20, 2019 07:41
Example Axios API Class
import axios, { AxiosPromise, AxiosRequestConfig } from 'axios'
import { URL } from 'consts'
import { ApiResponse } from '__src/types/api'
const cancelTokens = {}
// ====================================
// Interceptors
// ====================================
axios.interceptors.request.use((requestConfig: AxiosRequestConfig) => {
@richardszalay
richardszalay / Win10-16257-Console-Colors.reg
Created August 3, 2017 04:43
Applies the default console colors added in Windows 10 16256 (https://blogs.msdn.microsoft.com/commandline/2017/08/02/updating-the-windows-console-colors/) to older versions of Windows
Windows Registry Editor Version 5.00
[HKEY_CURRENT_USER\Console]
"ColorTable00"=dword:000c0c0c
"ColorTable01"=dword:00da3700
"ColorTable02"=dword:000ea113
"ColorTable03"=dword:00dd963a
"ColorTable04"=dword:001f0fc5
"ColorTable05"=dword:00981788
"ColorTable06"=dword:00009cc1
@linuxsocist
linuxsocist / gpsd-traccar.sh
Last active May 19, 2024 06:57
Converts the gpsd JSON output to the osmand protocol. In order for this to work, this script requires 'jq' to process the JSON output of gpsd.
#!/bin/bash
ADDR="192.168.1.9" # Replace with your traccar server address
PORT="5055" # Replace this with the port of your traccar server
ID="1234" # Replace this with your chosen traccar id
UPDATE="5" # Update interval
while [ true ]
do
{ echo "?WATCH={"enable":true}"; sleep 1; echo "?POLL;"; sleep 1; } | telnet 127.0.0.1 2947 2> /dev/null 1> gpsgrab-dump
@delucks1
delucks1 / Cheatsheet für Social Sharing Links
Last active March 20, 2023 12:56
@stpe
stpe / mantisconnect_json.php
Created March 17, 2012 22:26
Simple JSON wrapper of Mantis SOAP API
<?php
/**
* Example usage (using jQuery):
* var url = "/path/mantisconnect_json.php?name=mc_project_get_issues&project_id=0&page_number=1&per_page=10";
* $.getJSON(url, function(data) {
* $.each(data, function() {
* console.log(data.id + ': ' data.summary);
* });
* });
*/