Get it from the App Store.
In XCode's Preferences > Downloads you can install command line tools.
| function pless { | |
| pygmentize -O encoding=UTF-8 $1 | less -r | |
| } |
| <?xml version="1.0" encoding="UTF-8"?> | |
| <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> | |
| <plist version="1.0"> | |
| <dict> | |
| <key>Label</key> | |
| <string>net.hecticjeff.firewall</string> | |
| <key>ProgramArguments</key> | |
| <array> | |
| <string>sh</string> | |
| <string>-c</string> |
| from os.path import splitext | |
| from django.core.exceptions import ValidationError | |
| from django.utils.translation import ugettext_lazy as _ | |
| from django.template.defaultfilters import filesizeformat | |
| class FileValidator(object): | |
| """ | |
| Validator for files, checking the size, extension and mimetype. |
| # first see the current origin | |
| git remote -v | |
| # now we delete the origin | |
| git remote rm origin | |
| # now we set the new origin | |
| git remote add origin git@github.com:user/reponame.git | |
| # optional: make git pull and push from someremote (on our case, origin) |
This document has been moved to https://selenium-python.readthedocs.org
| #!/bin/sh -e | |
| # | |
| # Usage: browser | |
| # pipe html to a browser | |
| # e.g. | |
| # $ echo '<h1>hi mom!</h1>' | browser | |
| # $ ron -5 man/rip.5.ron | browser | |
| if [ -t 0 ]; then | |
| if [ -n "$1" ]; then |