wanlebing

# From @andyhky (http://virtualandy.wordpress.com)
# Upgrading OVS is discussed at length here: http://wp.me/pp5B3-aZ
---
- name: Upgrade OVS
  hosts: "*"
  gather_facts: false
  connection: ssh
  user: root

  tasks:

njanakiev

Overpass API Recipes

Get all the peaks in the dolomites

area
  [place=region]
  ["region:type"="mountain_area"]
  ["name:en"="Dolomites"];
out body;

mafoti

pragma solidity ^0.4.19;

contract DoubleAuction {

  address public market;
  mapping(int => int) consumptionBids;
  int[] _consumptionPrices;
  mapping(int => int) generationBids;
  int[] _generationPrices;
  Clearing public clearing;

cecilemuller

How to create an HTTPS certificate for localhost domains

This focuses on generating the certificates for loading local virtual hosts hosted on your computer, for development only.

Do not use self-signed certificates in production ! For online certificates, use Let's Encrypt instead (tutorial).

alirezanet

[
  {
    "latitude": "34° 31' 24.924",
    "longitude": "50° 0' 20.866",
    "province": "مرکزی",
    "state": "آشتیان",
    "city": "آشتیان"
  },
  {
    "latitude": "33° 40' 29.197",

FUSAKLA

Intro

So your dashboard is slow? We are doing our best but maybe it's time to think if the issue isn't on your side.

Some of our dashboards looks like https://www.theworldsworstwebsiteever.com/. Are you sure you really need to see all the time all the data? Or do you really need to see data for last week or month all the time? How often do you use filtering by some of those variables in your dashboard?

Let's not end up as your mother saying:

But.. but.. I might need this in future so let's leave this icon on the Desktop.

mirsahib

var Student = new Array();

$(document).ready(function(){
  $.ajax({
    url: "http://localhost/public_html/Final_project/student_2017.php",
    method:"GET",
    success:function (data) {
      console.log(data);
      for(i in data){
        Student.push(data[i]);

henri

# macOS xargs has no -d (delimiter) option. But you can use BASH to do something similar : 
cat myfile.txt | grep \n | while read -r line ; do echo "$line"; done