https://dl.bintray.com/xquartz/downloads/XQuartz-2.7.11.dmg
brew install grads
<?php | |
use Illuminate\Database\Migrations\Migration; | |
use Illuminate\Database\Schema\Blueprint; | |
use Illuminate\Support\Facades\Schema; | |
return new class extends Migration | |
{ | |
/** | |
* Run the migrations. |
<?php | |
// This can be found in the Symfony\Component\HttpFoundation\Response class | |
const HTTP_CONTINUE = 100; | |
const HTTP_SWITCHING_PROTOCOLS = 101; | |
const HTTP_PROCESSING = 102; // RFC2518 | |
const HTTP_OK = 200; | |
const HTTP_CREATED = 201; | |
const HTTP_ACCEPTED = 202; |
#=======================================================================# | |
# extract_data.py # | |
#=======================================================================# | |
# usage: extract_data.py [-h] [-i INPUT_DIR] [-o OUTPUT_DIR] | |
# | |
# This program extracts provision numbers from a set of documents. | |
# | |
# optional arguments: | |
# -h, --help show this help message and exit | |
# -i INPUT_DIR, --input_dir INPUT_DIR |
Here are the simple steps needed to create a deployment from your local GIT repository to a server based on this in-depth tutorial.
You are developing in a working-copy on your local machine, lets say on the master branch. Most of the time, people would push code to a remote server like github.com or gitlab.com and pull or export it to a production server. Or you use a service like deepl.io to act upon a Web-Hook that's triggered that service.
var chart = new Highcharts.Chart({ | |
chart: { | |
renderTo: 'container', | |
events: { | |
load: function() { | |
this.renderer.image('https://encrypted-tbn0.gstatic.com/images?q=tbn:ANd9GcQgmh52oZ_8ZZBzYDD94qNG182X96q3PwlBRNrXbJlWTUEFd9e79Q', 60, 20, 50, 50) | |
.add(); | |
} | |
} |
lang: { | |
loading: 'Cargando...', | |
months: ['Enero', 'Febrero', 'Marzo', 'Abril', 'Mayo', 'Junio', 'Julio', | |
'Agosto', 'Septiembre', 'Octubre', 'Noviembre', 'Diciembre'], | |
shortMonths: ['Ene', 'Feb', 'Mar', 'Abr', 'May', 'Jun', 'Jul', 'Ago', 'Sep', 'Oct', 'Nov', 'Dic'], | |
weekdays: ['Domingo', 'Lunes', 'Martes', 'Miércoles', 'Jueves', 'Viernes', 'Sábado'], | |
decimalPoint: ',', | |
resetZoom: 'Restaurar zoom', | |
resetZoomTitle: 'Restaurar zoom nivel 1:1', | |
thousandsSep: '.' |
<?php | |
/** | |
* PHP GeoJSON Constructor, adpated from https://github.com/bmcbride/PHP-Database-GeoJSON | |
*/ | |
# Connect to MySQL database | |
$conn = new PDO('mysql:host=localhost;dbname=mydatabase','myusername','mypassword'); | |
# However the User's Query will be passed to the DB: | |
$sql = 'SELECT * from GDA_database WHERE user_query = whatever'; |
<?php | |
/** | |
* Spatialite to GeoJSON | |
It needs: | |
* apache2 | |
* php5-cli | |
* php5-sqlite |