mandiwise

// Reference: http://www.blackdogfoundry.com/blog/moving-repository-from-bitbucket-to-github/
// See also: http://www.paulund.co.uk/change-url-of-git-repository

$ cd $HOME/Code/repo-directory
$ git remote rename origin bitbucket
$ git remote add origin https://github.com/mandiwise/awesome-new-repo.git
$ git push origin master

$ git remote rm bitbucket

noelvo

var zip = new JSZip();
var count = 0;
var zipFilename = "zipFilename.zip";
var urls = [
  'http://image-url-1',
  'http://image-url-2',
  'http://image-url-3'
];

urls.forEach(function(url){

lukebussey

Direct copy of pre-encoded file:

$ ffmpeg -i filename.mp4 -codec: copy -start_number 0 -hls_time 10 -hls_list_size 0 -f hls filename.m3u8

Winding6636

#!/bin/bash
# DLsite Product Downloader 
source .session > /dev/null 2>&1

function sessionchk() {
    result=`curl -L -sS "https://ssl.dlsite.com/maniax/mypage" -H 'authority: www.dlsite.com' -H "cookie: AuthCookie="$AuthCookie"; __DLsite_SID="$DSID";" --compressed | grep -oP '(?<=<title>)(.+)(?=</title)'`
    if [[ $result == "新規登録 - 新規登録" ]] ; then
      echo :-: 認証エラー :-:
      return 1
    else

lunetics

PHPStan PHPDoc Types and Generics Guide

Table of Contents

1. Introduction
2. Basic Types
3. Advanced Types
   1. Union Types
   2. Intersection Types
4. Literal and Constant Types