#!/bin/bash

[ ! -d ./data ] && mkdir ./data
curl -o ./data/pi-decimal-10_000_000_000.txt https://einklich.net/etc/pi-decimal-10%5E9.txt