···

       
71
       
 
       
    "statsig.anthropic.com" \

     

       
72
       
 
       
    "opam.ocaml.org" \

     

       
73
       
 
       
    "deb.debian.org" \

     

       
0
       
 
       

     

       
0
       
 
       

     

       
74
       
 
       
    "statsig.com"; do

     

       
75
       
 
       
    echo "Resolving $domain..."

     

       
76
       
 
       
    ips=$(dig +noall +answer A "$domain" | awk '$4 == "A" {print $5}')

     

···

       
71
       
 
       
    "statsig.anthropic.com" \

     

       
72
       
 
       
    "opam.ocaml.org" \

     

       
73
       
 
       
    "deb.debian.org" \

     

       
74
       
+
       
    "dl.geotessera.org" \

     

       
75
       
+
       
    "api.fastmail.com" \

     

       
76
       
 
       
    "statsig.com"; do

     

       
77
       
 
       
    echo "Resolving $domain..."

     

       
78
       
 
       
    ips=$(dig +noall +answer A "$domain" | awk '$4 == "A" {print $5}')

     

···

       
32
       
 
       
    tls-eio \

     

       
33
       
 
       
    progress \

     

       
34
       
 
       
    decompress \

     

       
35
       
-
       
    eio_main

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
36
       
 
       


     

       
37
       
 
       
echo "Setting up shell environment..."

     

       
38
       
 
       
echo 'eval $(opam env)' >> ~/.bashrc

     

···

       
32
       
 
       
    tls-eio \

     

       
33
       
 
       
    progress \

     

       
34
       
 
       
    decompress \

     

       
35
       
+
       
    eio_main \

     

       
36
       
+
       
    ezjsonm \

     

       
37
       
+
       
    decompress \

     

       
38
       
+
       
    zarith \

     

       
39
       
+
       
    re

     

       
40
       
 
       


     

       
41
       
 
       
echo "Setting up shell environment..."

     

       
42
       
 
       
echo 'eval $(opam env)' >> ~/.bashrc