The Wayback Machine - https://web.archive.org/web/20200218121448/https://github.com/topics/efi
Skip to content
#

efi

Here are 154 public repositories matching this topic...

Language: All
Filter by language
All 154 Shell 38 Rich Text Format 25 C 21 Python 7 C++ 6 Objective-C 4 Rust 4 Makefile 3 Ruby 3 Assembly 2
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

ivandavidov / minimal

Star
Find more good first issues →

systemd / mkosi

Star
Open

Mypy warnings

5
behrmann
behrmann commented Sep 27, 2019

Running a current mypy on mkosi gives the following warnings

mkosi:968: error: Argument 1 to "partition" has incompatible type "Optional[str]"; expected "str"
mkosi:971: error: Argument 1 to "partition" has incompatible type "Optional[str]"; expected "str"
mkosi:4624: error: "Dict[str, CommandLineArguments]" has no attribute "director

The last line is harmless and addressed in #36

Read more

Improve this page

Add a description, image, and links to the efi topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the efi topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.