Cristiano Santos cristianossd

## redis_cheatsheet.bash
# Redis Cheatsheet
# All the commands you need to know


redis-server /path/redis.conf  # start redis with the related configuration file
redis-cli                      # opens a redis prompt


# Strings.

## .bashrc
# delete branches locally except main
alias git-delete-branches='git branch | egrep -v "(^\*|main)" | xargs git branch -D'
# just run git-delete-branches whenever you want

## insert-encoding.sh
files=$(find . -name '*.py')

for file in $files; do
  echo "# -*- coding: utf-8 -*-\n$(<$file)" > $file
done

## drawing-tools.html
<!DOCTYPE html>
<html>
    <head>
        <meta name="viewport" content="initial-scale=1.0, user-scalable=no">
        <meta charset="UTF-8">
        <title>Drawing Tools</title>
        <script type="text/javascript"
        src="http://maps.google.com/maps/api/js?sensor=false&libraries=drawing"></script>
        <style type="text/css">
            #map, html, body {
	# Redis Cheatsheet
	# All the commands you need to know


	redis-server /path/redis.conf # start redis with the related configuration file
	redis-cli # opens a redis prompt


	# Strings.
	# delete branches locally except main
	alias git-delete-branches='git branch \| egrep -v "(^\*\|main)" \| xargs git branch -D'
	# just run git-delete-branches whenever you want
	<!DOCTYPE html>
	<html>
	<head>
	<meta name="viewport" content="initial-scale=1.0, user-scalable=no">
	<meta charset="UTF-8">
	<title>Drawing Tools</title>
	<script type="text/javascript"
	src="http://maps.google.com/maps/api/js?sensor=false&libraries=drawing"></script>
	<style type="text/css">
	#map, html, body {