start new:
tmux
start new with session name:
tmux new -s myname
| authors: | |
| hanzou: | |
| name: Hanzou Hattori | |
| display_name: Hanzou | |
| gravatar: c66919cb194f96c696c1da0c47354a6a | |
| email: [email protected] | |
| web: http://company.com | |
| twitter: company | |
| github: hhattori | |
| jorgen: |
| #!/bin/bash | |
| # Script for installing tmux on systems where you don't have root access. | |
| # tmux will be installed in $HOME/local/bin. | |
| # It's assumed that wget and a C/C++ compiler are installed. | |
| # exit on error | |
| set -e | |
| TMUX_VERSION=1.8 |
์์ด์ง๋ง, ์กฐ๊ธ ๋ ์์ธํ๊ฒ ๋งํฌ๋ค์ด ์ฌ์ฉ๋ฒ์ ์๋ดํ๊ณ ์๋
"Markdown Guide (https://www.markdownguide.org/)" ๋ฅผ ๋ณด์๋ ๊ฒ์ ์ถ์ฒํฉ๋๋ค. ^^
์, ๊ทธ๋ฆฌ๊ณ ๋งํฌ๋ค์ด๋ง์ผ๋ก ํํ์ด ๋ถ์กฑํ๋ค๊ณ ๋๋ผ์ ๋ค๋ฉด, HTML ํ๊ทธ๋ฅผ ํ์ฉํ์๋ ๊ฒ๋ ์ข์ต๋๋ค.
@wagurano ์ค์ฌ์ ์๊ทธ, ๋ฃจ๋น๋์ธ, ํํ๋ฅผ ์ฌ๋ํ๋ฉฐ ์ฝ๋ฉํ๋ ํ๋ก๊ทธ๋๋จธ
์์ธ ํ ๋ชฝ๊ฑฐ์ค์ ํ ํฌ๋ฆฌ์ค๋ง์ค ๋ฌ๋ ฅ์ ์ฐธ๊ณ ํ์ฌ ๋ฃจ๋น ํฌ๋ฆฌ์ค๋ง์ค ๋ฌ๋ ฅ(Advent Calendar)์ ์ฐธ์ฌํ๋ ๊ธ์ ๋๋ค.
๋ฌด์๋ณด๋ค ํ๊ธ์ฒ๋ฆฌ์ ๋์์ ์ฃผ์ neocoin ๋์๊ฒ ๊ฐ์ฌ๋๋ฆฝ๋๋ค.
| # Backup | |
| docker exec CONTAINER /usr/bin/mysqldump -u root --password=root DATABASE > backup.sql | |
| # Restore | |
| cat backup.sql | docker exec -i CONTAINER /usr/bin/mysql -u root --password=root DATABASE | |
| // Add on element with overflow | |
| -webkit-mask-image: -webkit-radial-gradient(white, black); |
| from bs4 import BeautifulSoup | |
| import requests | |
| import re | |
| import urllib2 | |
| import os | |
| import argparse | |
| import sys | |
| import json | |
| # adapted from http://stackoverflow.com/questions/20716842/python-download-images-from-google-image-search |
This notes is written by Sheldon. You can find me with #iOSBySheldon in Github, Youtube, Facebook, etc.
Convert .mov/.MP4 to .gif
As a developer, I feel better to upload a short video when I create the pull request to show other viewers what I did in this PR. I tried .mov format directly got after finishing recording screen using Quicktime, however, gif offers preview in most web pages, and has smaller file size.
This is not limited to developer, anyone has this need can use this method to convert the files.
| Windows Registry Editor Version 5.00 | |
| [HKEY_CURRENT_USER\Console] | |
| "ColorTable00"=dword:00242424 | |
| "ColorTable01"=dword:00FFAA77 | |
| "ColorTable02"=dword:0077EE77 | |
| "ColorTable03"=dword:00EEEE77 | |
| "ColorTable04"=dword:007777FF | |
| "ColorTable05"=dword:00EE77EE | |
| "ColorTable06"=dword:0077EEEE |