Harsh J QwertyManiac
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
| <scheme name="One Dark" version="142" parent_scheme="Default"> | |
| <option name="LINE_SPACING" value="1.0" /> | |
| <option name="EDITOR_FONT_SIZE" value="12" /> | |
| <option name="CONSOLE_FONT_NAME" value="Monospaced" /> | |
| <option name="EDITOR_FONT_NAME" value="Menlo" /> | |
| <colors> | |
| <option name="ADDED_LINES_COLOR" value="abb2bf" /> | |
| <option name="ANNOTATIONS_COLOR" value="ffffff" /> | |
| <option name="ANNOTATIONS_MERGED_COLOR" value="ffffff" /> | |
| <option name="CARET_COLOR" value="61afef" /> |
shreddd
/ redirect.py
Created
September 30, 2015 21:14
Simple Redirect Server in python to redirect requests to a specified URL
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 python | |
| """ | |
| Simple HTTP URL redirector | |
| Shreyas Cholia 10/01/2015 | |
| usage: redirect.py [-h] [--port PORT] [--ip IP] redirect_url | |
| HTTP redirect server | |
| positional arguments: |