Update Added instruction about linux-paths to LOCAL_SETUP.md
Update Added instruction about linux-paths to LOCAL_SETUP.md

openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean