Safari icon plugin

241 views
Skip to first unread message

Sunil Patel

unread,
Oct 8, 2015, 1:56:33 PM10/8/15
to Jenkins Developers
Hello!

Safari 9.0 introduced the ability to pin tabs. The icons for these must be a solid black svg (and as such the favicon can't be used).

If you want to add the icon to your jenkins, my super tiny plug-in to do that is here:
https://github.com/srpatel/jenkins-pinned-tab

(jenkins-ci username = archduke)

Thanks
sunil.

jenkins-pin.png

Kohsuke Kawaguchi

unread,
Oct 8, 2015, 2:03:36 PM10/8/15
to jenkin...@googlegroups.com
Thanks, this is cool.

Any reason this shouldn't be a part of the core? I'd love to integrate it in there. It's just adding a <link> tag, right?

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-de...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/9ad26658-4f81-4f0a-a613-af03135e4a11%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.



--
Kohsuke Kawaguchi

Sunil Patel

unread,
Oct 8, 2015, 2:41:32 PM10/8/15
to jenkin...@googlegroups.com
No reason for it not to be in the core, I'd love for that to happen!
And that's right, nothing more than the <link>.

I just made the plugin so I could start using the icon at work straight away and thought I may as well share it :)

sunil.

--
You received this message because you are subscribed to a topic in the Google Groups "Jenkins Developers" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/jenkinsci-dev/W29LIfo2uME/unsubscribe.
To unsubscribe from this group and all its topics, send an email to jenkinsci-de...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAN4CQ4zg4m4c29Y8HQbhxxQh9AZSfnBNOqPQrpxS4hJgSML99w%40mail.gmail.com.

Kohsuke Kawaguchi

unread,
Oct 8, 2015, 8:27:17 PM10/8/15
to jenkin...@googlegroups.com
Yes, it's totally cool that you did this plugin. I don't meant to imply that you shouldn't have done that. Quite the opposite.

I've added this for 1.633.


For more options, visit https://groups.google.com/d/optout.



--
Kohsuke Kawaguchi
Reply all
Reply to author
Forward
0 new messages