coda.exe -> mina.exe

Author: ghost-not-in-the-shell

.dockerignore

@@ -1,6 +1,7 @@
 *
 !src/opam.export
 !coda.deb
+!mina.deb
 !coda-discovery.deb
 !scripts/run-demo.sh
 !src/external/**/*

frontend/wallet/README.md

@@ -44,7 +44,7 @@ Run locally with hot reloading:
    up before you pulled the code. Make sure you ran `git lfs install` and then
    run `git lfs pull` to download files.
 
-### Repackaging coda.exe [Needs work]
+### Repackaging mina.exe [Needs work]
 
 1. cd to root of repo
 2. `make build`

frontend/wallet/package.json

@@ -31,7 +31,7 @@
   },
   "scripts": {
     "fake": "graphql-faker --port 3085 -- schema.graphql",
-    "real": "./_build/coda-daemon-macos/coda.exe daemon -rest-port 8080 &> /dev/tty",
+    "real": "./_build/coda-daemon-macos/mina.exe daemon -rest-port 8080 &> /dev/tty",
     "fake-inspector": "graphql-faker --open -- schema.graphql",
     "build": "yarn copy-schema && bsb -make-world",
     "build-ci": "yarn run query-fake && yarn run build",

frontend/wallet/src/render/DownloadLogic.re

@@ -153,7 +153,7 @@ let installCoda = (tempPath, doneCb) => {
   extractZip(tempPath, installPath, res =>
     switch (res) {
     | Belt.Result.Ok () =>
-      Bindings.Fs.chmodSync(installPath ++ "/coda.exe", 0o755);
+      Bindings.Fs.chmodSync(installPath ++ "/mina.exe", 0o755);
       Bindings.Fs.chmodSync(installPath ++ "/libp2p_helper", 0o755);
       Bindings.Fs.readdirSync(installPath ++ "/keys")
       |> Array.to_list

maintenance/README.md

@@ -4,4 +4,4 @@
 
 Generate full dune transitive dependency graph with `./gen_deps.sh`. This script will output `deps.dot` and `deps.png`.
 
-Once `deps.dot` is generated, you can narrow the dependency graph using `./narrow_deps.sh <node-id>`. You can inspect `deps.dot` to find the relevant node id you would like to narrow the graph to. Narrowing the graph will filter out the graph so that it only displays nodes which are dominated by the target, nodes that dominate the target, and all nodes in edges between these sets. For example, running `./narrow_deps.sh exe:./src/app/cli/src/dune:0` will generate a dependency graph for the `coda.exe` executable.
+Once `deps.dot` is generated, you can narrow the dependency graph using `./narrow_deps.sh <node-id>`. You can inspect `deps.dot` to find the relevant node id you would like to narrow the graph to. Narrowing the graph will filter out the graph so that it only displays nodes which are dominated by the target, nodes that dominate the target, and all nodes in edges between these sets. For example, running `./narrow_deps.sh exe:./src/app/cli/src/dune:0` will generate a dependency graph for the `mina.exe` executable.

rfcs/0039-snark-keys-management.md

@@ -108,7 +108,7 @@ to begin with. The interface may be extremely basic, reusing the current
 runtime configuration files:
 
 ```
-coda.exe advanced generate-snark-keys -config-file path/to/config.json
+mina.exe advanced generate-snark-keys -config-file path/to/config.json
 ```
 
 Suggested optional arguments are:
@@ -181,7 +181,7 @@ specific details of these are not clear yet and may vary, so these details are
 considered out of the scope of this RFC.
 
 In most cases, it should be possible to use the
-`coda.exe advanced generate-snark-keys -config-file path/to/input_config.json -output-config-file path/to/output_config.json`
+`mina.exe advanced generate-snark-keys -config-file path/to/input_config.json -output-config-file path/to/output_config.json`
 form of the `generate-snark-keys` function above to do most or all of the
 necessary setup work.
 

scripts/debug-dist-coda.sh

@@ -21,20 +21,20 @@ sysctl -n machdep.cpu.brand_string
 echo "========="
 echo "== Verify static initilization works"
 echo "========="
-./coda.exe -help
+./mina.exe -help
 
 # Re-enable if you want to debug illegal instructions
-# lldb -o run ./coda.exe transaction-snark-profiler
+# lldb -o run ./mina.exe transaction-snark-profiler
 
 echo "========="
 echo "== Verify snarks work"
 echo "========="
-./coda.exe transaction-snark-profiler
+./mina.exe transaction-snark-profiler
 
 rm -rf ~/.coda-config
 
 echo "========="
 echo "== Verify full test"
 echo "========="
-./coda.exe integration-tests full-test
+./mina.exe integration-tests full-test
 

scripts/macos-portable.sh

@@ -6,7 +6,7 @@
 set -eou pipefail
 
 if [[ $# -ne 3 ]]; then
-  echo "Usage: $0 <path-to-coda.exe> <outdir>"
+  echo "Usage: $0 <path-to-mina.exe> <outdir>"
   exit 1
 fi
 
@@ -16,7 +16,7 @@ DIST_DIR="$3"
 
 mkdir -p "$DIST_DIR"
 
-# move and sign coda.exe (if has rights)
+# move and sign mina.exe (if has rights)
 cp "$1" "$DIST_DIR/$LOCAL_CODA_EXE"
 set +u
 [ -z "$APPLE_ID" ] || codesign -s "$APPLE_ID" "$DIST_DIR/$LOCAL_CODA_EXE"
@@ -72,5 +72,5 @@ fixup() {
   done
 }
 
-# Fix coda.exe
+# Fix mina.exe
 fixup "$LOCAL_CODA_EXE"

src/app/rosetta/docker-demo-start.sh

@@ -7,8 +7,8 @@ function cleanup
   CODE=${1:-0}
   echo "Killing archive.exe"
   kill $(ps aux | egrep '/mina-bin/.*archive.exe' | grep -v grep | awk '{ print $2 }') || true
-  echo "Killing coda.exe"
-  kill $(ps aux | egrep '/mina-bin/.*coda.exe'    | grep -v grep | awk '{ print $2 }') || true
+  echo "Killing mina.exe"
+  kill $(ps aux | egrep '/mina-bin/.*mina.exe'    | grep -v grep | awk '{ print $2 }') || true
   echo "Killing rosetta.exe"
   kill $(ps aux | egrep '/mina-bin/rosetta'       | grep -v grep | awk '{ print $2 }') || true
   exit $CODE

src/app/rosetta/docker-start.sh

@@ -6,8 +6,8 @@ function cleanup
 {
   echo "Killing archive.exe"
   kill $(ps aux | egrep '/mina-bin/.*archive.exe' | grep -v grep | awk '{ print $2 }') || true
-  echo "Killing coda.exe"
-  kill $(ps aux | egrep '/mina-bin/.*coda.exe'    | grep -v grep | awk '{ print $2 }') || true
+  echo "Killing mina.exe"
+  kill $(ps aux | egrep '/mina-bin/.*mina.exe'    | grep -v grep | awk '{ print $2 }') || true
   echo "Killing rosetta.exe"
   kill $(ps aux | egrep '/mina-bin/rosetta'       | grep -v grep | awk '{ print $2 }') || true
   echo "Stopping postgres"

src/app/rosetta/docker-test-start.sh

@@ -7,8 +7,8 @@ function cleanup
   CODE=${1:-0}
   echo "Killing archive.exe"
   kill $(ps aux | egrep '/mina-bin/.*archive.exe' | grep -v grep | awk '{ print $2 }') || true
-  echo "Killing coda.exe"
-  kill $(ps aux | egrep '/mina-bin/.*coda.exe'    | grep -v grep | awk '{ print $2 }') || true
+  echo "Killing mina.exe"
+  kill $(ps aux | egrep '/mina-bin/.*mina.exe'    | grep -v grep | awk '{ print $2 }') || true
   echo "Killing agent.exe"
   kill $(ps aux | egrep '/mina-bin/rosetta/test-agent/agent.exe'       | grep -v grep | awk '{ print $2 }') || true
   echo "Killing rosetta.exe"

src/app/rosetta/start.sh

@@ -7,8 +7,8 @@ function cleanup
   CODE=${1:-0}
   echo "Killing archive.exe"
   kill $(ps aux | egrep '_build/default/src/app/.*archive.exe' | grep -v grep | awk '{ print $2 }') || true
-  echo "Killing coda.exe"
-  kill $(ps aux | egrep '_build/default/src/app/.*coda.exe'    | grep -v grep | awk '{ print $2 }') || true
+  echo "Killing mina.exe"
+  kill $(ps aux | egrep '_build/default/src/app/.*mina.exe'    | grep -v grep | awk '{ print $2 }') || true
   echo "Killing agent.exe"
   kill $(ps aux | egrep '_build/default/src/app/rosetta/test-agent/agent.exe'       | grep -v grep | awk '{ print $2 }') || true
   echo "Killing rosetta.exe"

src/lib/command_line_tests/command_line_tests.ml

@@ -16,7 +16,7 @@ let%test_module "Command line tests" =
        dune won't allow running it via "dune exec", because it's outside its
        workspace, so we invoke the executable directly
 
-       the coda.exe executable must have been built before running the test
+       the mina.exe executable must have been built before running the test
        here, else it will fail
 
      *)
@@ -112,6 +112,6 @@ let%test_module "Command line tests" =
       | `Yes ->
           Async.Thread_safe.block_on_async_exn test_background_daemon
       | _ ->
-          printf !"Please build coda.exe in order to run this test\n%!" ;
+          printf !"Please build mina.exe in order to run this test\n%!" ;
           false
   end )