fraport/fradrive-old
Archived
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

chore(hoogle): default port offset

Browse Source
This commit is contained in:
Gregor Kleen 2021-09-27 10:49:04 +02:00
parent d182490e8a
commit bee53feee7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
hoogle.sh
View File

@ -15,4 +15,4 @@ if [[ -d .stack-work-doc ]]; then
trap move-back EXIT trap move-back EXIT
fi fi
stack hoogle -- ${@:-server --local --port $((${PORT_OFFSET:-0} + 8081))} stack hoogle -- ${@:-server --local --port $((${PORT_OFFSET:-$(((16#$(echo \"fradrive $(whoami)\" | sha256sum | head -c 16)) % 1000))} + 8081))}