| #!/usr/bin/env bash | |
| ################################################################################ | |
| # This script can install PHP binaries on Windows in Bash. | |
| # | |
| # Link to this file: | |
| # https://gist.github.com/andkirby/67e87e319c376b8676d559edb759e3fe/raw/php-git-bash-win.sh | |
| # | |
| # Download latest version by command in GitBash Windows console: | |
| # $ curl -Ls bit.ly/php-bash-win | bash | |
| # |
This documents guides you through the process to install Debian Stretch with Full Disk Encryption. The following requirements exist:
After following this guide, you will end up with a setup like this:
| #!/bin/bash | |
| # ---------- | |
| # Install MariaDB Client 10.1 for Debian8, Ubuntu 16.04 | |
| # curl -L https://gist.githubusercontent.com/mamemomonga/2823ecc2b20b886e90d1b8d523515724/raw/MariaDBInstall.sh | sudo bash -eux | |
| # ---------- | |
| set -eux | |
| if [ `id --user` -ne 0 ]; then | |
| echo "rootでの実行が必要" | |
| exit 255 |
Locate the section for your github remote in the .git/config file. It looks like this:
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = git@github.com:joyent/node.git
Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:
| import $ from 'jquery'; | |
| import plugin from './plugin'; | |
| class ScrollToTop { | |
| constructor(element, options) { | |
| const $element = $(element); | |
| $(window).scroll(function () { | |
| if ($(this).scrollTop() > options.offset) { | |
| $element.fadeIn(); |
Chromium OS is cool. Chromium OS with crouton is cooler. Chromium OS with Docker is even cooler. This is specifically a guide for the Chromebook Pixel 2 (2015), but I can't think of any reason it wouldn't work with other devices.
| // Xorg dependency graph (dot) | |
| // BLFS 7.8 | |
| // | |
| // style=solid : required | |
| // style=dashed : recommended | |
| // style=dotted : optional | |
| // style=solid arrowhead=dot color=grey : required at runtime | |
| strict digraph xorg { | |
| label="Xorg dependencies |
| #Spider Websites with Wget – 20 Practical Examples | |
| Wget is extremely powerful, but like with most other command line programs, the plethora of options it supports can be intimidating to new users. Thus what we have here are a collection of wget commands that you can use to accomplish common tasks from downloading single files to mirroring entire websites. It will help if you can read through the wget manual but for the busy souls, these commands are ready to execute. | |
| 1. Download a single file from the Internet | |
| wget http://example.com/file.iso | |
| 2. Download a file but save it locally under a different name | |
| wget ‐‐output-document=filename.html example.com |
| #!/bin/bash | |
| TEXT_RESET='\e[0m' | |
| TEXT_YELLOW='\e[0;33m' | |
| TEXT_RED_B='\e[1;31m' | |
| sudo apt-get update | |
| echo -e $TEXT_YELLOW | |
| echo 'APT update finished...' | |
| echo -e $TEXT_RESET |
A checklist for designing and developing internet scale services, inspired by James Hamilton's 2007 paper "On Desgining and Deploying Internet-Scale Services."
