Standard escape codes are prefixed with Escape:
- Ctrl-Key:
^[ - Octal:
\033 - Unicode:
\u001b - Hexadecimal:
\x1B - Decimal:
27
| """ | |
| Custom django checks. | |
| H001: Field has no verbose name. | |
| H002: Verbose name should use gettext. | |
| H003: Words in verbose name must be all upper case or all lower case. | |
| H004: Help text should use gettext. | |
| H005: Model must define class Meta. | |
| H006: Model has no verbose name. | |
| H007: Model has no verbose name plural. |
A list of useful commands for the FFmpeg command line tool.
Download FFmpeg: https://www.ffmpeg.org/download.html
Full documentation: https://www.ffmpeg.org/ffmpeg.html
The best way to safely and securely use local domains pointing to 127.0.0.1 is to edit your local settings (/etc/hosts) and add your own settings. Keep in mind if you want to use subdomains, you need to enter all variations.
Example:
# Adding bottom of your current file /etc/hosts
################# MY LOCAL DOMAINS
127.0.0.1 local.com admin.local.com
127.0.0.1 domain1.com| #! /bin/bash | |
| mkdir -p ./backgrounds | |
| function get_google_device_art { | |
| local device=$1 | |
| # Get the Google Device backgrounds | |
| curl "https://developer.android.com/distribute/marketing-tools/device-art-resources/$1/port_back.png" > "./backgrounds/$1_port_back.png" | |
| curl "https://developer.android.com/distribute/marketing-tools/device-art-resources/$1/port_fore.png" > "./backgrounds/$1_port_fore.png" |
| var scrollPosition = sessionStorage.getItem("scrollPosition") | |
| if(scrollPosition) window.scrollTo(0, scrollPosition) | |
| document.addEventListener("scroll", function() { | |
| sessionStorage.setItem("scrollPosition", window.pageYOffset | document.body.scrollTop) | |
| }) |
| import java.util.HashSet; | |
| import java.util.Set; | |
| import java.util.stream.IntStream; | |
| public class HappyNumber { | |
| public static void main(String[] args) { | |
| IntStream.range(0, args.length == 0 ? 1001 : Integer.parseInt(args[0])) | |
| .parallel() | |
| .filter((number) -> { |
| #include <stdio.h> | |
| #include <stdlib.h> | |
| int | |
| main() | |
| {int h=9, | |
| d=0,x;while | |
| (h--){for(x=0; | |
| x<39;x++){int a=x | |
| -6;if(a<0)a=-a;printf |
$ ssh remote-host "epmd -names"
epmd: up and running on port 4369 with data:
name some_node at port 58769
Note the running on port for epmd itself and the port of the node you're interested in debugging. Reconnect to the remote host with these ports forwarded:
$ ssh -L 4369:localhost:4369 -L 58769:localhost:58769 remote-host
| FROM ubuntu:trusty | |
| # Update the repository | |
| RUN apt-get update | |
| # Install necessary tools | |
| RUN apt-get install -y wget net-tools build-essential git | |
| # Setup Install Nginx | |
| RUN wget -q -O - http://nginx.org/keys/nginx_signing.key | apt-key add - |