| # Filename : Image2Map.py | |
| # Authors : Georg Muntingh and Bjorn Lindeijer | |
| # Version : 1.2 | |
| # Date : June 16, 2010 | |
| # Copyright : Public Domain | |
| import os, sys, Image, networkx | |
| class TileMap: | |
| """ This class represents a map of tiles. |
| /* | |
| * Filename : Image2Map.js | |
| * Authors : John-Michael Glenn | |
| * Version : 1.3 | |
| * Created : June 24, 2013 | |
| * Modified : March 31, 2014 | |
| * Copyright : Public Domain | |
| **/ | |
| // Load modules |
| Press CTRL-H to bring up the Find/Replace Dialog. Choose the "Regular expressions" checkbox near the bottom of the dialog. | |
| To add "test" to the beginning of each line, type "^" in the "Find what" field, and "test" in the "Replace with" field. Then hit "Replace All". | |
| To add "test" to the end of each line, type "$" in the "Find what" field, and "test" in the "Replace with" field. Then hit "Replace All". |
| <?php | |
| class FTP { | |
| /** | |
| * Download() performs an automatic syncing of files and folders from a remote location | |
| * preserving folder and file names and structure | |
| * | |
| * @param $local_dir: The directory to put the files, must be in app path and be writeable | |
| * @param $remote_dir: The directory to start traversing from. Use "." for root dir |
Press minus + shift + s and return to chop/fold long lines!
If you use git on the command-line, you'll eventually find yourself wanting aliases for your most commonly-used commands. It's incredibly useful to be able to explore your repos with only a few keystrokes that eventually get hardcoded into muscle memory.
Some people don't add aliases because they don't want to have to adjust to not having them on a remote server. Personally, I find that having aliases doesn't mean I that forget the underlying commands, and aliases provide such a massive improvement to my workflow that it would be crazy not to have them.
The simplest way to add an alias for a specific git command is to use a standard bash alias.
# .bashrc
| <div class="container"> | |
| <div class="row"> | |
| <div class="col-sm-6 col-md-4 col-md-offset-4"> | |
| <h1 class="text-center login-title">Sign in to continue to Bootsnipp</h1> | |
| <div class="account-wall"> | |
| <img class="profile-img" src="https://lh5.googleusercontent.com/-b0-k99FZlyE/AAAAAAAAAAI/AAAAAAAAAAA/eu7opA4byxI/photo.jpg?sz=120" | |
| alt=""> | |
| <form class="form-signin"> | |
| <input type="text" class="form-control" placeholder="Email" required autofocus> | |
| <input type="password" class="form-control" placeholder="Password" required> |
The git command-line utility has plenty of inconsistencies http://steveko.wordpress.com/2012/02/24/10-things-i-hate-about-git/
A GUI like http://sourcetreeapp.com is often helpful, but staying on the command line usually quicker. This is a list of the commands I use most frequently, listed by functional category:
git status list which (unstaged) files have changed
| #!/usr/bin/env python | |
| import re | |
| import os | |
| def srcrepl(match): | |
| "Return the file contents with paths replaced" | |
| absolutePath = "http://www.example.com/" #update the URL to be prefixed here. | |
| print "<" + match.group(1) + match.group(2) + "=" + "\"" + absolutePath + match.group(3) + match.group(4) + "\"" + ">" | |
| return "<" + match.group(1) + match.group(2) + "=" + "\"" + absolutePath + match.group(3) + match.group(4) + "\"" + ">" | |
| # |
| #!/bin/bash | |
| # Sometimes you need to move your existing git repository | |
| # to a new remote repository (/new remote origin). | |
| # Here are a simple and quick steps that does exactly this. | |
| # | |
| # Let's assume we call "old repo" the repository you wish | |
| # to move, and "new repo" the one you wish to move to. | |
| # | |
| ### Step 1. Make sure you have a local copy of all "old repo" | |
| ### branches and tags. |