ungoldman

How do you POST a JSON file with curl??

You can post a json file with curl like so:

curl -X POST -H "Content-Type: application/json" -d @FILENAME DESTINATION

so for example:

ssstonebraker

FILE SPACING:

 # double space a file
 sed G

 # double space a file which already has blank lines in it. Output file
 # should contain no more than one blank line between lines of text.
 sed '/^$/d;G'

robotslave

<!--
1. Download the Android Jelly Bean fonts and the Symbola font:
   https://www.dropbox.com/s/tvtzcnzkvbe0nrt/jelly-bean-fonts.zip
   http://users.teilar.gr/~g1951d/Symbola707.zip

2. unzip the files and put AndroidEmoji.ttf and Symbola.ttf (and any of the other fonts that strike your fancy)
   in your ~/.fonts/ directory

3. run `fc-cache -f`.  You can check to make sure the new fonts 
   were installed with `fc-list`.  You'll probably want to grep the copious output for Symbola or Emoji

0xjjpa

#Introduction

Developing Chrome Extensions is REALLY fun if you are a Front End engineer. If you, however, struggle with visualizing the architecture of an application, then developing a Chrome Extension is going to bite your butt multiple times due the amount of excessive components the extension works with. Here are some pointers in how to start, what problems I encounter and how to avoid them.

Note: I'm not covering chrome package apps, which although similar, work in a different way. I also won't cover the page options api neither the new brand event pages. What I explain covers most basic chrome applications and should be enough to get you started.

Table of Contents

1. Understand the Chrome Architecture
2. Understand the Tabs-Extension Relationship
3. Picking the right interface for the job

fzerorubigd

<?php 
date_default_timezone_set('GMT');

//1- file we want to serve : 
$data_file = "/home/f0rud/Aalto Talk with Linus Torvalds [Full-length].mp4";

$data_size = filesize($data_file); //Size is not zero base

$mime = 'application/otect-stream'; //Mime type of file. to begin download its better to use this.
$filename = basename($data_file); //Name of file, no path included