Все фрагменты с темой tools

0 лайк(-ов)

0 форк(-ов)

1 файл(-ов)

tools

1	#!/usr/bin/env bash
2	#
3	# git-clone-path.sh — clone a shallow Git subdirectory to a target path.
4	#
5	# Usage:
6	# ./git-clone-path.sh [options] <repo_url> <repo_path>
7	#
8	# Options:
9	# -r, --ref <ref> Branch, tag, or commit to check out (default: default branch)
10	# -o, --output <dir> Destination directory (default: current directory)

0 лайк(-ов)

0 форк(-ов)

1 файл(-ов)

tools

1	#!/bin/bash
2	# Usage: `restore_sqlite_db.sh db.sqlite3`
3	# See https://stackoverflow.com/a/15874884/3645337.
4	cat <( sqlite3 "$1" .dump \| grep "^ROLLBACK" -v ) <( echo "COMMIT;" ) \| sqlite3 "fix_$1"

Новее Позже