alias to load logtalk with swipl

2019-07-22 18:27:08 +02:00 · 2019-07-22 18:27:08 +02:00 · 842579d28d
commit 842579d28d
parent fa50614241
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@ -37,3 +37,7 @@ function spotify() {
 function lob() {
    open -na "Google Chrome" --args "https://lobste.rs"
 }
+function logtalk() {
+    path_swilgt=$(find /usr/local/Cellar/logtalk -name "*swilgt.sh" 2>/dev/null)
+    sh "$path_swilgt"
+}