···

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

···

       
1
       
+
       
when:

     

       
2
       
+
       
  - event: ["push"]

     

       
3
       
+
       
    branch: ["main"]

     

       
4
       
+
       
  - event: ["manual"]

     

       
5
       
+
       


     

       
6
       
+
       
dependencies:

     

       
7
       
+
       
  ## from nixpkgs

     

       
8
       
+
       
  nixpkgs:

     

       
9
       
+
       
    - nodejs

     

       
10
       
+
       
    - git

     

       
11
       
+
       
steps:

     

       
12
       
+
       
  - name: "Set up SSH Key"

     

       
13
       
+
       
    command: "mkdir .ssh ; echo $SSH_KEY > .ssh/id_ed25519"

     

       
14
       
+
       


     

       
15
       
+
       
  - name: "Config Git"

     

       
16
       
+
       
    command: "git config core.sshCommand 'ssh -i ~/.ssh/id_ed25519'"

     

       
17
       
+
       


     

       
18
       
+
       
  - name: "Deploy"

     

       
19
       
+
       
    command: "./deploy.sh"

     

···

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
1
       
 
       
COMMIT_ID=$(git rev-parse --short HEAD)

     

       
2
       
 
       


     

       
3
       
 
       
echo "Cleaning up /tmp/pages..."

     
···

       
17
       
 
       


     

       
18
       
 
       
echo "Making commit..."

     

       
19
       
 
       
git add --all

     

       
20
       
-
       
git commit -m "Deploying $COMMIT_ID to PyroNet Git"

     

       
21
       
 
       


     

       
22
       
-
       
echo "Pushing to PyroNet Git..."

     

       
23
       
-
       
git remote add origin "https://git.pyrox.dev/pyrox/new-blog.git"

     

       
24
       
 
       
git push --force origin "pages:pages"

     

       
25
       
 
       


     

       
26
       
 
       
echo "Cleaning up tmpdir..."

     

···

       
1
       
+
       
#!/usr/bin/env nix

     

       
2
       
+
       
#! nix develop --impure --command bash

     

       
3
       
+
       


     

       
4
       
+
       
# Build site

     

       
5
       
+
       
deno task prod

     

       
6
       
+
       


     

       
7
       
 
       
COMMIT_ID=$(git rev-parse --short HEAD)

     

       
8
       
 
       


     

       
9
       
 
       
echo "Cleaning up /tmp/pages..."

     
···

       
23
       
 
       


     

       
24
       
 
       
echo "Making commit..."

     

       
25
       
 
       
git add --all

     

       
26
       
+
       
git commit -m "Deploying $COMMIT_ID to Tangled"

     

       
27
       
 
       


     

       
28
       
+
       
echo "Pushing to Tangled..."

     

       
29
       
+
       
git remote add origin " git@knot.pyrox.dev:pyrox.dev/blog"

     

       
30
       
 
       
git push --force origin "pages:pages"

     

       
31
       
 
       


     

       
32
       
 
       
echo "Cleaning up tmpdir..."