You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Nov 17, 2024. It is now read-only.
Repository navigation
This repository was archived by the owner on Nov 17, 2024. It is now read-only.
It would be really convenient to have a make install rule that installs the manpage and the binary in the prefix. That would allow for easier packaging of isolate.
At the moment isolate is mostly meant to be used along with CMS, so it is installed by CMS scripts. So far we feel no need to provide it with another installer. However if you want to write one I will be happy to include it.
Ping?
I don't want to be too insistent here, but given the simplicity of the commit I just wanted to make sure if didn't get off your radar :-).
For the record, having this patch upstream would allow me to package isolate for the archlinux user repository conforming to their guidelines, and it would really ease our deployments.
Actually, this repository is not upstream :)
Until two days ago, the upstream was the Moe Contest System repository,
now I am in the process of moving it to Github. See https://github.com/ioi/isolate
and stay tuned, "make install" will appear there soon.
Activity
giomasce commentedon Jul 20, 2015
At the moment isolate is mostly meant to be used along with CMS, so it is installed by CMS scripts. So far we feel no need to provide it with another installer. However if you want to write one I will be happy to include it.
seirl commentedon Jul 21, 2015
See #17
seirl commentedon Jul 27, 2015
Ping?
I don't want to be too insistent here, but given the simplicity of the commit I just wanted to make sure if didn't get off your radar :-).
For the record, having this patch upstream would allow me to package isolate for the archlinux user repository conforming to their guidelines, and it would really ease our deployments.
Thanks!
gollux commentedon Jul 28, 2015
gollux commentedon Jul 28, 2015
It just happened. BTW, when you make the archlinux package, I will be interested in a pointer, so that I can add it to the documentation.
seirl commentedon Jul 28, 2015
Perfect, thanks!
The package is available here: https://aur.archlinux.org/packages/isolate-git/
Archlinux users can install it using the yaourt or pacaur utilities:
or:
giomasce commentedon Jan 18, 2016
This has been solved upstream.