comment

Author: wangpatrick57

scripts/install_system_dependencies.sh renamed to scripts/install_sysdeps.sh

@@ -1,4 +1,5 @@
 #!/bin/bash
+# "sysdeps" stands for "system dependencies".
 # These are dependencies unrelated to Python that the dbgym needs.
 cat scripts/configs/apt_requirements.txt | xargs sudo apt-get install -y
 curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y