Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
#!/usr/bin/env python
# run with get_total_history.py <(history)
import fileinput
history = [
line.strip().partition(' ')[2]
for line in fileinput.input()]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.