From 63487de66105ee06e413237f23105e9b802e3a1b Mon Sep 17 00:00:00 2001 From: Ashen Gunaratne Date: Wed, 27 Dec 2023 17:53:50 +0000 Subject: [PATCH] Update .ml to .dev --- .github/workflows/pages.yml | 6 +++--- _config.yml | 2 +- scripts/icons.py | 2 +- src/encoders/uri.html | 4 ++-- 4 files changed, 7 insertions(+), 7 deletions(-) diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index 32462e2..934837b 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -21,7 +21,7 @@ jobs: - run: make build - run: make tarball - run: |- - find _site -type f -printf 'https://tools.ashenm.ml/%P\n' | \ + find _site -type f -printf 'https://tools.ashenm.dev/%P\n' | \ jq --raw-input --slurp 'split("\n") | { files: .[:-1] }' | tee artifacts.list - uses: actions/upload-artifact@v2 with: @@ -46,9 +46,9 @@ jobs: git checkout --orphan gh-pages git config user.email "mail@ashenm.ml" git config user.name "Ashen Gunaratne" - echo "tools.ashenm.ml" | tee CNAME + echo "tools.ashenm.dev" | tee CNAME git add --all . - git commit --quiet --message "Deploy tools.ashenm.ml to github.com/${GITHUB_REPOSITORY}.git:gh-pages" + git commit --quiet --message "Deploy tools.ashenm.dev to github.com/${GITHUB_REPOSITORY}.git:gh-pages" git push --force --quiet "https://${{ secrets.OCTOCAT_TOKEN }}@github.com/${GITHUB_REPOSITORY}.git" "gh-pages:gh-pages" git show --stat-count=10 HEAD working-directory: /tmp/build diff --git a/_config.yml b/_config.yml index cfde5b2..480aac2 100644 --- a/_config.yml +++ b/_config.yml @@ -6,7 +6,7 @@ url: "https://ashenm.github.io/tools" lang: "en" title: "Demonstration Tools" author: "Ashen Gunaratne" -email: "mail@ashenm.ml" +email: "mail@ashenm.dev" keywords: "ashen, gunaratne, ashen m. gunaratne, educational, tools, materials" desc: "A collection of miscellanies instructional tools and materials" diff --git a/scripts/icons.py b/scripts/icons.py index ca4a3f9..5d42ad3 100755 --- a/scripts/icons.py +++ b/scripts/icons.py @@ -3,7 +3,7 @@ # Generates favicon.ico from favicon.svg # # Ashen Gunaratne -# mail@ashenm.ml +# mail@ashenm.dev # from glob import iglob diff --git a/src/encoders/uri.html b/src/encoders/uri.html index c7d95fe..40b1e59 100644 --- a/src/encoders/uri.html +++ b/src/encoders/uri.html @@ -111,10 +111,10 @@ autofocus="autofocus" inputmode="url" spellcheck="false" - value="https://terse.ashenm.ml/example" + value="https://terse.ashenm.dev/example" /> - https://terse.ashenm.ml/example + https://terse.ashenm.dev/example