This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| create table public._sqlx_migrations ( | |
| tableoid oid not null, | |
| cmax cid not null, | |
| xmax xid not null, | |
| cmin cid not null, | |
| xmin xid not null, | |
| ctid tid not null, | |
| version bigint primary key not null, | |
| description text not null, | |
| installed_on timestamp with time zone not null default now(), |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/sh | |
| IMAGE=blang/latex:ctanfull | |
| echo "$PWD" | |
| exec docker run --rm -i --name latekmk --user="$(id -u):$(id -g)" --net=none -v "$PWD":/data "$IMAGE" "$@" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| `singularity pull --nohttps docker://widecore24.irisa.fr:5000/lgitzing/av-auditor` | |
| `singularity build --sandbox av-auditor-sandbox/ av-auditor_latest.sif` | |
| `singularity shell --writable av-auditor-sandbox/ av-auditor_latest.sif` |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env bash | |
| mkdir -p Android/sdk/cmdline-tools | |
| cd Android/sdk/cmdline-tools | |
| latest_zip_url=$(curl -s 'https://developer.android.com/studio/index.html#downloads' \ | |
| | grep -oP 'https?://dl.google.com/android/repository/commandlinetools-linux[^" ]+' \ | |
| | sort | uniq) | |
| wget $latest_zip_url | |
| zip_name=$(echo "${latest_zip_url##*/}") | |
| unzip $zip_name |