On 7 May 2010, at 00:43, Joachim Breitner wrote: > The comparison with cabal-install is not valid. cabal-install’s main > feature is to download stuff (like an ftp client), while leksah’s main > feature is to edit Haskell code. Imaging that kate would require an > Internet connection to be able to highlight your code...
First start dialog does present the user with the URL and the option to turn it off. You could default it to disabled if you wish, but it means the default URL will not be available either (I think it is a Maybe String). > Also, are you providing the metadata for each and every version on > leksah.org? Once Debian releases, the versions of the included Haskell > libraries are not going to change for two or more years... In a perfect would metadata would be built on hackage or at least triggered by messages from hackage. > Therefore, I’d like to include the metadata that leksah needs within the > haskell library package. Therefore the question: If .kshm-files are > generated upon building a library, and shipped along, is that enough to > make leksah happy? If you can make this work it would be great. lkshm files alone should be fine (lkshp files will be generated locally). I think our main concern is that it may be difficult. You should be able to make the metadata by running "leksah-server -so" as part of your library build script. You will need to make sure ~/.leksah-0.8/prefs.lkhsp on the build machine is set up to look in the appropriate source directories. Jurgen and I will need to make a small change to leksah to have it check its data directory for metadata (currently it only looks in ~/.leksah-0.8/metadata). This will give you somewhere to put the haskell-debian metadata. I'll try to do that this weekend. You will need to make sure that both leksah and leksah-server are built with the same data --datasubdir setting (so they can both see the lkshm files). Will there be a fast way for users to get all the source for there debian haskell packages onto their system? Hamish -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
