Comments (10)
looks like it's in the process of being added
Actually, with the merge of Homebrew/homebrew-cask-fonts#2290, it's already available for installation. One just needs to do:
$ brew tap homebrew/cask-fonts
$ brew cask install font-juliamono
from juliamono.
Ooo, looks like it's in the process of being added:
% brew search JuliaMono
No formula or cask found for "JuliaMono".
Closed pull requests:
Add font "JuliaMono" (https://github.com/Homebrew/homebrew-cask-fonts/pull/2290)
Add font "JuliaMono" (https://github.com/Homebrew/homebrew-cask/pull/88065)
Update font-juliamono from 0.013 to 0.014 (https://github.com/Homebrew/homebrew-cask-fonts/pull/2368)
Update font-juliamono from 0.010 to 0.013 (https://github.com/Homebrew/homebrew-cask-fonts/pull/2333)
Update font-juliamono from 0.009 to 0.010 (https://github.com/Homebrew/homebrew-cask-fonts/pull/2294)
Whoever's doing this, thanks! @singularitti Thanks!
from juliamono.
It would be pretty easy to just put this font into a jll. That way, it should be pretty easy to embed, if you want to use it in GTK.jl, for example. At least on linux, you should then be able to just symlink that to ~/fonts
to install them on your system.
from juliamono.
You can find an initial prototype for the installer here: https://github.com/simeonschaub/JuliaMono.jl. Currently only works on Linux and I am still not sure, if that's really the correct way to do this, but it's a start.
from juliamono.
can confirm it works
from juliamono.
I think this might be possible. Although, writing scripts to install fonts on all possible OSs sounds like a fairly significant job, with good knowledge of OS-level scripting, security, etc... Obviously the Pkg wizards could do it, but I couldn't.
from juliamono.
PR for a jll here: JuliaPackaging/Yggdrasil#1433
from juliamono.
I'll watch with interest!
from juliamono.
what about distributing it via homebrew?
from juliamono.
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions!
from juliamono.
Related Issues (20)
- ≺ (`\prec`) hard to distinguish from less-than HOT 8
- small case "r" looks wierd HOT 3
- Does not respect unicode RIGHT-TO-LEFT OVERRIDE, for some glyphs HOT 8
- Glyph shape of 2 Cyrillic Ext-C characters (U+1C81, U+1C85) HOT 2
- Unpaired parentheses in CHANGELOG.md HOT 5
- Remove v0.5.1 tag HOT 3
- Add support for `\dot (U+0307)` for numbers HOT 4
- "SS20" (splashtidy) does not work in general cases HOT 5
- Daggers too similar? HOT 3
- Combining characters with lower case j doesn't always render the combining character for some glyphs. HOT 8
- Request for 450 font weight HOT 2
- Emoji Presentation for Julia Logo HOT 9
- wedge/bigwedge and vee/bigvee too similar? HOT 2
- Mystery spacing issues HOT 7
- Interrobang glyph is incorrect HOT 7
- Possible alternate variant of small letter "l" with stylistic set? HOT 18
- Problem with CJK glyphs HOT 5
- Take down the "JuliaMono julia manual" since it pollutes google search? HOT 3
- Unintentional missing glyphs in v0.055? HOT 6
- Ligatures are gone in WezTerm after upgrading to JuliaMono 0.055 HOT 5
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from juliamono.