ynx0

#!/bin/bash

DRY_RUN=false
HARD_DELETE=true
#DEL="trash"  # use this if you have trash-cli enabled and don't want to risk the script accidently deleting your precious jam files
DEL="rm"

SHIP_NAME=${1:-"sampel-palnet"} # change this or pass it in as a cmdline input
NUM_EVENTS=${2:-1000000}        # change this or pass it in as a cmdline input
LATEST_EVENT="$(ls ./$SHIP_NAME/.urb/roc/ | cut -d'.' -f1 | sort -nr | head -n1)"

sivinnguyen

Error

$ sudo apt-get update
Err:1 http://archive.ubuntu.com/ubuntu focal InRelease
Temporary failure in name rerolution

$ host google.com
;; connection timed out; no servers could be reached

jc-torresp

Access Raspberry Pi from anywhere

Dynamic DNS

We need to use so called Dynamic DNS (DDNS) to create and dynamically update a mapping between a chosen domain name and an “external” IP address of our Raspberry Pi (i.e. router IP address).

• Look for a DDNS provider.
• Register a new user account.
• Choose a desire domain name.
• Configure it on router.

mattnewport

|=  dim=@ud  ^-  (list @t)
=/  dx  (div:rs .1 (sun:rs dim))
=/  white  [.1 .1 .1]
=<  (genppm dim)
|%
++  min
    |=  [x=@rs y=@rs]  ^-  @rs
    ?:  (lth:rs x y)  x  y
++  max
    |=  [x=@rs y=@rs]  ^-  @rs

cferdinandi

# Terminal Cheat Sheet

pwd         # print working directory
ls          # list files in directory
cd          # change directory
~           # home directory
..          # up one directory
-           # previous working directory
help        # get help
-h          # get help