Move scip-dotnet binary to /usr/local/bin

Author: olafurpg

Dockerfile

@@ -2,7 +2,7 @@ FROM mcr.microsoft.com/dotnet/sdk:7.0
 WORKDIR /scip-dotnet
 ADD . /scip-dotnet
 RUN dotnet pack
-ENV PATH="/root/.dotnet/tools:${PATH}"
 RUN dotnet tool install --add-source ScipDotnet/bin/Debug/ --global scip-dotnet
+RUN mv /root/.dotnet/tools/scip-dotnet /usr/local/bin/scip-dotnet
 RUN rm -rf /scip-dotnet
 WORKDIR /root

readme.md

@@ -4,8 +4,9 @@ SCIP indexer for the C# programming language.
 
 ## Getting started
 
-The easiest way to run `scip-dotnet` is to run it through the
-`sourcegraph/scip-dotnet` Docker image.
+The easiest way to run `scip-dotnet` is to use the `sourcegraph/scip-dotnet`
+Docker image. You can alternatively install `scip-dotnet` as a local
+command-line tool by following the [local install](#local-install) instructions.
 
 ### Docker image