From eaa7205e7b72ad90a170b414e60f7d74b8e7305f Mon Sep 17 00:00:00 2001 From: josd Date: Wed, 3 Apr 2024 21:22:28 +0200 Subject: [PATCH] refreshing --- install | 4 ---- 1 file changed, 4 deletions(-) diff --git a/install b/install index f764225..7d3b255 100755 --- a/install +++ b/install @@ -1,5 +1,4 @@ #!/bin/bash - # change working directory pushd ~/github.com/eyereasoner/lingua @@ -9,7 +8,4 @@ swipl -q -f lingua.pl -g "qsave_program('lingua.pvm', [goal(main)]), halt." # link lingua command sudo ln -sf $(realpath ./lingua) /usr/local/bin -# run the tests -./test - popd