Fix relative path in bash-completion.sh usage

sim642 · sim642 · commit bf9c18450397 · 2022-03-27T23:49:27.000+03:00
diff --git a/scripts/bash-completion.sh b/scripts/bash-completion.sh
@@ -4,7 +4,7 @@
 #   Run: source ./scripts/bash-completion.sh
 #
 # Permanent usage:
-#   Run: echo "source ./scripts/bash-completion.sh" >> ~/.bash_completion
+#   Run: echo "source $(readlink -f .)/scripts/bash-completion.sh" >> ~/.bash_completion
 
 _goblint ()
 {

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`	`# Run: source ./scripts/bash-completion.sh`
`5`	`5`	`#`
`6`	`6`	`# Permanent usage:`
`7`		`-# Run: echo "source ./scripts/bash-completion.sh" >> ~/.bash_completion`
	`7`	`+# Run: echo "source $(readlink -f .)/scripts/bash-completion.sh" >> ~/.bash_completion`
`8`	`8`
`9`	`9`	`_goblint ()`
`10`	`10`	`{`