Felix Brilej flyck
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
| from datetime import datetime | |
| import time | |
| #------------------------------------------------- | |
| # conversions to strings | |
| #------------------------------------------------- | |
| # datetime object to string | |
| dt_obj = datetime(2008, 11, 10, 17, 53, 59) | |
| date_str = dt_obj.strftime("%Y-%m-%d %H:%M:%S") | |
| print date_str |
garaud
/ pipe-to-emacs.py
Last active
October 3, 2023 13:11
Pipe to Emacs: Insert a result from an UNIX command into a new Emacs buffer
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 | |
| # -*- coding: utf-8 -*- | |
| # Author: Damien Garaud | |
| # Date: 2014-2015 | |
| # License: Simplified BSD | |
| """Allow you to pipe command results into an Emacs buffer. Suppose you have an | |
| Emacs server since you launch 'emacsclient'. |
gdvalle
/ putty-monokai.reg
Created
December 2, 2012 05:24
Monokai style theme for PuTTY; colors copied from ST2's theme
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
| Windows Registry Editor Version 5.00 | |
| [HKEY_CURRENT_USER\Software\SimonTatham\PuTTY\Sessions\monokai] | |
| "Colour21"="255,255,255" | |
| "Colour20"="245,222,179" | |
| "Colour19"="200,240,240" | |
| "Colour18"="0,217,217" | |
| "Colour17"="179,146,239" | |
| "Colour16"="174,129,255" | |
| "Colour15"="122,204,218" |