Pragmata Pro VS devenv

The font is a custom build of Iosevka, which is almost certainly inspired by the commercial font Pragmata Pro (https://fsd.it/shop/fonts/pragmatapro/). When Pragmata Pro was first released a little over 10 years ago, it sold for around $400 (I know this because I and many, many others bought a copy back then). As another commenter points out, you may have some rendering issue. Alternatively, you may just not like... - Source: Hacker News / about 2 months ago

In part 1[0] of this series of posts, the author mentions they use Pragmata Pro [1]. [0]: https://arne.me/articles/emacs-from-scratch-part-one-foundations [1]: https://fsd.it/shop/fonts/pragmatapro/. - Source: Hacker News / 4 months ago

My absolute favorite is PragmataPro, it’s a condensed font. This allows you to fit more information horizontally, which super nice for small screen sizes, or vertical splits without making the font size small. Source: 5 months ago

Not OP, but I like PragmataPro [0] by Fabrizio Schiavi and use it in my IDEs. I particularly appreciate his attention to glyphs in languages other than English. [0] https://fsd.it/shop/fonts/pragmatapro/. - Source: Hacker News / 9 months ago

[PragmataPro](https://fsd.it/shop/fonts/pragmatapro/) is a monospaced masterpiece all on its own, but with PragmataPro Fraktur, designer Fabrizio Schiavi is flexing where no one has ever flexed before. - Source: Hacker News / 11 months ago

It works on MacOS/Windows, unlike systemd. Therefore it's well suited for development environment setups for polyglot teams. https://devenv.sh/ is one example that uses it to do just that. - Source: Hacker News / 13 days ago

Sounds like nix using devenv[1] also would solve this problem. https://devenv.sh/. - Source: Hacker News / 12 days ago

Software developers often want to customize: 1. Their home environments: for packages (some reach for brew on MacOS) and configurations (dotfiles, and some reach for stow). 2. Their development shells: for build dependencies (compilers, SDKs, libraries), tools (LSP, linters, formatters, debuggers), and services (runtime, database). Some reach for devcontainers here. 3. Or even their operating systems: for... - Source: Hacker News / about 1 month ago

Https://devenv.sh/ and nix in general are great for setting up dev environments. - Source: Hacker News / about 2 months ago

2) A way to run services apps depend on (databases, job runners, cache etc). I am going to suggest one of the Nix based tools that do those things:

  - https://devenv.sh/ (I use this at work).

- Source: Hacker News / 4 months ago