KarchinLab
diff --git a/‎Dockerfile‎
Lines changed: 1 addition & 1 deletion b/‎Dockerfile‎
Lines changed: 1 addition & 1 deletion
@@ -15,7 +15,7 @@ RUN apt-get update && apt-get install -y \
         unzip \
         zip \
         jq \
-        ps \
+        procps \
         \
         # build-only deps (REMOVE LATER)
         build-essential \
Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ RUN apt-get update && apt-get install -y \`
`15`	`15`	`unzip \`
`16`	`16`	`zip \`
`17`	`17`	`jq \`
`18`		`- ps \`
	`18`	`+ procps \`
`19`	`19`	`\`
`20`	`20`	`# build-only deps (REMOVE LATER)`
`21`	`21`	`build-essential \`