Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Linux Support #12

Closed
zachleat opened this issue Sep 30, 2014 · 14 comments
Closed

Add Linux Support #12

zachleat opened this issue Sep 30, 2014 · 14 comments

Comments

@zachleat
Copy link
Owner

@zachleat zachleat commented Sep 30, 2014

https://twitter.com/mathias/status/516985222412664832

@miketaylr
Copy link

@miketaylr miketaylr commented Sep 30, 2014

Please test HML distribution as well, thanks.

@mathiasbynens
Copy link

@mathiasbynens mathiasbynens commented Sep 30, 2014

HML OS stylesheet leaked:

* {
  font-family: fantasy !important;
}

@zachleat
Copy link
Owner Author

@zachleat zachleat commented Sep 30, 2014

oh

my

god

@adrinux
Copy link

@adrinux adrinux commented Oct 1, 2014

Ubuntu, Debian, Fedora and Arch? That would be the major families I think. Not sure how much variation there is between distros. I have a Debian 7 vm if that's any help, what do you need to know?

@tomByrer
Copy link

@tomByrer tomByrer commented Oct 1, 2014

Seems Mint is more popular than Ubuntu: http://distrowatch.com/ (I've seen similar mentions on other sites).
ElementryOS seems gaining popularity. Though it is a Ubuntu fork, it's GUI is drastically changed, & comes with their own WebKit browser, Midori.

@zachleat
Copy link
Owner Author

@zachleat zachleat commented Oct 2, 2014

Good info! I probably won’t do more than two or three unless someone really begs :)
http://distrowatch.com/dwres.php?resource=popularity

So, that’d be Mint, Ubuntu, and maybe Debian.

@tomByrer
Copy link

@tomByrer tomByrer commented Oct 2, 2014

Does each distros' WindowManager (KDE, Gnome, Unity, etc) install different fonts?

@adrinux
Copy link

@adrinux adrinux commented Oct 2, 2014

This distrowatch page you're linking to http://distrowatch.com/dwres.php?resource=popularity counts hits to their website – at best it's a measure of the buzz around a given distro, I don't think it equates to installed user base. There's also the fact that Mint is based on Ubuntu which is based on Debian. I was suggesting taking a distro from each popular family - Ubuntu, Fedora and Arch.

But not only do I not know if each WindowManager configures different default fonts, what does each browser install do? There's no reason to believe they would fall back on system defaults...

Really just need to nail down a couple of the most popular distros and go with default install I think.

@adrinux
Copy link

@adrinux adrinux commented Oct 2, 2014

The distro timeline svg on the right here is just scary in this context :) http://en.wikipedia.org/wiki/List_of_Linux_distributions

@adrinux
Copy link

@adrinux adrinux commented Oct 2, 2014

Fwiw I have a Xubuntu desktop VM and full installs of Ubuntu desktop and Crunchbang desktop on other partitions (Debian vm I mentioned is actually server version). Still not clear on what you're doing to derive that data for fontfamily.io

@zachleat
Copy link
Owner Author

@zachleat zachleat commented Oct 7, 2014

Ubuntu 14.04 added: http://fontfamily.io/os/ubuntu-14

@tomByrer
Copy link

@tomByrer tomByrer commented Oct 7, 2014

107 fonts, that's alot! Thanks :)

On Mon, Oct 6, 2014 at 7:51 PM, Zach Leatherman notifications@github.com
wrote:

Ubuntu 14.04 added: http://fontfamily.io/os/ubuntu-14


Reply to this email directly or view it on GitHub
#12 (comment)
.

zachleat added a commit that referenced this issue Oct 8, 2014
@zachleat
Copy link
Owner Author

@zachleat zachleat commented Oct 8, 2014

@zachleat
Copy link
Owner Author

@zachleat zachleat commented Oct 8, 2014

I downloaded Arch Linux to try it out but the default install didn’t even have a window manager by default so I think I’m gonna close this for now. If there are additional distro requests, please open additional tickets—thank you!

@zachleat zachleat closed this Oct 8, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
5 participants