Update .ml to .dev

.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 "[email protected]"
           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

_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"
 

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

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"
       />
     </form>
-    <output>https://terse.ashenm.ml/example</output>
+    <output>https://terse.ashenm.dev/example</output>
   </main>
   <footer>
   </footer>