Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2017-07-03

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
03:27 sm hi pointfree. Seems I can view repos just fine right now
03:28 pointfree sm: Great! It seems to be working again.
03:29 sm thanks for the patches. I have mental bandwidth for one simple darcshub patch at a time just now.. which thing should I look at ?
03:32 pointfree sm: https://hub.darcs.net/pointfree/darcsden-security/patch/403ede9c9988dccb811a49edab5b7bbb7c4a8d81 is the simplest. All it should do is fix https on pages with gravatars (issues page)
03:37 sm pointfree: thanks, merged and building. What next ?
03:40 sm I am using your curve25519 ssh branch, can we get this published ?
03:41 sm merged in main ssh repo I mean ?
03:46 pointfree sm: The next simplest is https://hub.darcs.net/pointfree/darcsden-buttons/patch/4c6190ac170b8769ebaf2d5b9e9d2843759588ef it's kind of an aesthetic judgement call. It makes the font weight of the sidebar button text consistent and the counts (of # of issues, # of subscribers) bold.
03:46 pointfree It goes with https://hub.darcs.net/pointfree/darcsden-buttons/patch/4000da8abd1ec9e75953f0de0d8bc0a7a51e55a9 to also display a count of the number of downstream branches in the branches button (I think this is one thing towards exposing activity on darcshub)
03:46 pointfree sm: The ssl for gravatar patch shouldn't involve darcshub_ssh as far as I know. It just changes the gravatar url from http to https.
03:54 sm pointfree: yes the ssh question is unrelated
03:54 pointfree oh.
03:55 pointfree Merged into mainline ganesh/ssh and published to hackage?
03:55 sm yes
03:57 sm re button style: I think originally the action buttons (on the right) were all bold, in keeping with darcsden's minimalist style. Account buttons (top right) are smaller and non-bold for deemphasis
03:58 sm is non-bold and mixed weights better for the main buttons ?
03:58 sm do you have an instance running where we can preview ?
03:59 pointfree The reason we haven't done it yet (to my memory) is because the tests fail because last I checked libssh2 (used by tests) does not support curve25519. libssh does, but there are no haskell bindings for libssh.
03:59 pointfree sm: I'll put one up right now + plus a screenshot.
04:00 sm a screenshot would be enough
04:02 sm what's the way forward with ssh then ? Is Heffalump's version insecure, is a fork warranted ?
04:06 sm I got these errors building SSH.hs with stackage lts-8.21, suggesting some crypto api has changed: https://gist.github.com/simonmichael/32a391be9621f413018ef9993265b0b4
04:12 sm I've deployed the web app, which should have your ssl fix - thanks
04:12 sm back later, see you o/
04:12 pointfree http://odroid.0xffffffff.in/~deploy/darcsden-feed-screenshots/buttons.png
04:12 pointfree Regarding ssh_darcshub warnings, it looks like we could just remove some redundant imports?
04:12 pointfree http://odroid.0xffffffff.in:8900/
04:14 pointfree Great, the ssl fix is working. See you o/
04:15 sm pointfree: thanks for the preview. I'll merge that if you can get 1-2 others to agree it's better, personally I think all bold action buttons fit the current theme better
04:20 pointfree sm: I see your point with the all bold action buttons. Another option is to make all of the sidebar buttons bold. We'll see what others say. Cthulhux had some good opinions on the buttons https://irclog.perlgeek.de/darcs/2017-04-29#i_14507298
04:26 pointfree yeah unbolded sidebar buttons look a little bit weak the more I look at it..
05:29 stef204 joined #darcs
05:41 ThomasLocke joined #darcs
05:41 ThomasLocke joined #darcs
08:02 Weltraumschaf joined #darcs
08:33 stef204 joined #darcs
09:00 ThomasLocke joined #darcs
09:52 Weltraumschaf joined #darcs
09:56 Weltraumschaf_ joined #darcs
11:05 peb` joined #darcs
16:08 Weltraumschaf joined #darcs
16:28 vorot93[m] joined #darcs
16:30 tg joined #darcs
16:57 pointfree[m] joined #darcs
16:57 Naughtmare[m] joined #darcs
20:35 siel joined #darcs

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary