so when I label empty /srv/bin and /srv/wrappers, I do not need the (/*)? tail? After that when I pull from git, the files are supposed to be labeled by the nature of residing in the respective folders, right?
If you try to execute JShell, bash should tell you it's not there and where you can get Java 9.
I don't think it would cause any problems. Everything that works on Java 8 works the same as in Java 9 (albeit with better performance), but even if something borks you can have both installed at the same time withut issues.
@AndrewSavinykh Weird. I'm not sure why it would say var_t. Is /srv/bin labeled bin_t as well?
I have to go get some sleep now. I'll be back later.
@AndrewSavinykh I thinkmatchpathcon only shows the default context, not the one that has been applied. You can check the context with ls -lZ /srv/bin/wrapper-legacy and apply the defaults recursively with restorecon -Rv /srv/bin.
@Dennis Thank you for you continuing support, I got it working finally. The latest version of the doco is here When you have a moment could you please review and let me know any feedback. Thanks!
@Dennis Thanks for providing Haskell on tio.run/nexus! I noticed that some functions like pure or <$> are not present in Prelude, so I assume the ghc version used is 7.8 or lower. Is it possible to update to ghc 7.10 or 8.0 where those functions are contained in Prelude?
2 hours later…
Anonymous
1:52 PM
@AndrewSavinykh I'm not Dennis, but that looks really good and thorough.
@AndrewSavinykh That looks good. I won't be able to confirm every detail for the arena until I actually set one up, but if memory serves, it's quite similar to what I did.
chmod ug-w ~runner is not enough to prevent runner from modifying its home directory though, as it could undo the change with chmod ug+w ~. As root, chattr +i ~runner will make the directory immutable, and only root can undo the operation.
@Dennis Thanks, so now when this is done, where do you think we should host these notes? I can understand that you might not want to include it in any of your repos because you have little interest in keeping them up to date, but may be you could create a separate repo just for the notes under tryitonline github user and give me access to this repo? What do you think?