This file contains hidden or 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 zlib, os, sys | |
import argparse | |
def get_parsed_args(): | |
parser = argparse.ArgumentParser(description='Deflate a file from stdin. \n \ | |
Alternatively processes all files in a directory. \n \ | |
Decompressed output is directed to stdout.' | |
) | |
parser.add_argument('-d', '--input-dir', dest='input_dir', |
This file contains hidden or 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 python | |
# parse_toc.py | |
from pdfminer.pdfparser import PDFParser | |
from pdfminer.pdfdocument import PDFDocument | |
def parse(filename, maxlevel): | |
fp = open(filename, 'rb') | |
parser = PDFParser(fp) | |
doc = PDFDocument(parser) |
This file contains hidden or 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/bash | |
## | |
## This is bash script for saving and loading gnome-terminal session. Special for Ubuntu. | |
## | |
## Usage: ./terminal-session -s <name_profile> - for save session | |
## ./terminal-session -l <name_profile> - for load existing session | |
## ./terminal-session --profiles - for show existing session files | |
## | |
## Instructions: | |
## - Run gnome-terminal; |