Re: Executable bit for <file/>

Hello all,

I added support for this in the .NET version of Zero Install in this commit:
https://github.com/0install/0install-dotnet/commits/582f8a913104e2dffdc605e7
84eca695af049db9
This was released in version 2.14.1.
There is a PR for documentation of the new attribute here:
https://github.com/0install/web-site/pull/1

@Thomas: Could you perhaps implement the same feature in the OCaml version
of Zero Install? I started a quick attempt at a PR but unfortunately my
OCaml-foo turned out to be rather limited. :(

There are already a few feeds using this feature, .e.g.:
http://repo.roscidus.com/docker/compose
http://repo.roscidus.com/kubernetes/minikube

Regards
Bastian

-----Original Message-----
From: Thomas Leonard <[email protected]> 
Sent: Sonntag, 6. August 2017 14:05
To: The Zero Install system <[email protected]>
Subject: Re: [Zero-install-devel] Executable bit for <file/>

On 4 August 2017 at 17:46, Bastian Eicher <[email protected]> wrote:
> Hi all,
>
> While creating feeds for Docker Compose
> (http://repo.roscidus.com/docker/compose) and Docker Machine
> (http://repo.roscidus.com/docker/machine) I noticed there is [no?] way 
> to use <file/> to download a stand-alone executable and set its executable
bit.
>
> Maybe adding a new 'executable' attribute for the <file/> retrieval 
> method would be a good idea. Something like this:
> <file href="http://.../docker-compose" size="123" dest="docker-compose"
> executable="true"/>
>
> What do you guys think?

Sounds good to me!


-- 
talex5 (GitHub/Twitter)        http://roscidus.com/blog/
GPG: 5DD5 8D70 899C 454A 966D  6A51 7513 3C8F 94F6 E0CC

----------------------------------------------------------------------------
--
Check out the vibrant tech community on one of the world's most engaging
tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Zero-install-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/zero-install-devel


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot