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/perl -i.bak | |
$skipping = 0; | |
while (<>) { | |
if ($skipping == 0 && /^(.+) Copyright /) { | |
print "$1 See the COPYRIGHT and LICENSE files in the top-level directory of this\n"; | |
print "$1 package for notices and licensing terms.\n"; | |
$skipping = 1; | |
} | |
elsif ($skipping == 1) { |
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 ipywidgets as widgets | |
import os | |
import sys | |
import threading | |
class LogWidget: | |
def __init__(self): | |
layout = { | |
'width': '100%', | |
'height': '160px', |
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 os | |
import sys | |
import threading | |
class LogRedirect: | |
def __init__(self, fd=1, dest=sys.stderr, encoding="utf-8", errors="strict"): | |
# Save original handle so we can restore it later. | |
self.saved_handle = os.dup(fd) | |
self.saved_fd = fd | |
self.saved_dest = dest |
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 github | |
import logging | |
import os | |
import re | |
import requests | |
import sys | |
import time | |
REAL = False | |
GITHUB_API = "https://api.github.com" |