search

jepsen-io / jepsen

A framework for distributed systems verification, with fault injection
6.69k stars 710 forks source link

Trouble modifying the repo-url for worker nodes #481

Closed SungHoHong2 closed 3 years ago

SungHoHong2 commented 3 years ago

Hello Jepsen developers, I am trying to run the test-case in jepsen-io/redis repository and having trouble understanding how I can update the URLs for the repository stated in the db.clj.

I have deployed the container example provided in the jepsen-io/jepsen/docker/up.sh and trying to run the project in jepsen-io/redis

In the source db.clj I have already updated repository url in the line 24 ~ 28.

(def redis-raft-repo
  "Where can we clone redis-raft from?"
  "https://github.com/RedisLabs/redisraft.git")

(def redis-repo
  "Where can we clone redis from?"
  "https://github.com/redis/redis.git")

However when I run lein run test-all command in the control node, the results are saying that I am using the different repository URL for the worker nodes. 

Caused by: clojure.lang.ExceptionInfo: Command exited with non-zero status 128 on node n1:
sudo -S -u root bash -c "cd /tmp/jepsen/build; git clone git@github.com:antirez/redis.git redis"
fatal: Could not read from remote repository.

As you can see git@github.com:antirez/redis.git should be https://github.com/redis/redis.git. Have I missed something?

SungHoHong2 commented 3 years ago

Sorry, it was a stupid question. the controller node always warned me to run lein install to let all the other worker nodes reflect the same updated project. I guess that was the reason.