Felipe Rank raank

Set-up remote git repository on a standard server

The first thing to do is to install Git on the remote server.

Once you do that the rest of the process is split into three sections:

Server set-up
Local set-up (push commits)
Server (pull commits)

PSQL

Magic words:

psql -U postgres

Some interesting flags (to see all, use -h or --help depending on your psql version):

-E: will describe the underlaying queries of the \ commands (cool for learning!)
-l: psql will list all databases and then exit (useful if the user you connect with doesn't has a default database, like at AWS RDS)

Styling native elements

Native HTML controls are a challenge to style. You can style any element in the web platform that uses Shadow DOM with a pseudo element ::pseudo-element or the /deep/ path selector.

video::webkit-media-controls-timeline {
  background-color: lime;
}

video /deep/ input[type=range] {

	{
	"estados": [
	{
	"sigla": "AC",
	"nome": "Acre",
	"cidades": [
	"Acrelândia",
	"Assis Brasil",
	"Brasiléia",
	"Bujari",

	<!DOCTYPE HTML>
	<html lang="en" ng-app="myApp">
	<head>
	<meta charset="utf-8">
	<title>Dynamic Pagination w/ Filtering</title>
	<meta name="viewport" content="width=device-width, initial-scale=1.0">
	<meta name="description" content="">
	<meta name="author" content="Kim Maida">

	<!-- JS Libraries -->

	#!/bin/bash
	set -euo pipefail
	IFS=$'\n\t'

	# Ubuntu Server

	export DEBIAN_FRONTEND=noninteractive

	echo -e "\e[96m Adding PPA \e[39m"
	sudo add-apt-repository -y ppa:ondrej/php

	import json

	def writeToJSONFile(path, fileName, data):
	filePathNameWExt = './' + path + '/' + fileName + '.json'
	with open(filePathNameWExt, 'w') as fp:
	json.dump(data, fp)


	# Example
	data = {}