scripts

Personal scripts that don't fit elsewhere

git clone https://code.pdelong.com/scripts.git

 1#!/bin/bash
 2
 3if [[ -z "$FUCHSIA_DIR" ]]; then
 4  echo "I don't know where the fuchsia directory is!"
 5  exit 1
 6fi
 7
 8set -ex
 9
10cd "$FUCHSIA_DIR"
11
12jj new head@jiri
13
14jiri runp git checkout JIRI_HEAD
15jiri update --rebase-tracked