Language

Package: tilda @ 1.5.4

Synopsis

GTK+-based drop-down terminal

Description

Tilda is a terminal emulator similar to normal terminals like gnome-terminal (GNOME) or Konsole (KDE), with the difference that it drops down from the edge of a screen when a certain configurable hotkey is pressed. This is similar to the built-in consoles in some applications. Tilda is highly configurable through a graphical wizard.

Home page
https://github.com/lanoxx/tilda
Location
gnu/packages/terminals.scm (line: 144, column: 2)
License

Lint warnings

LinterMessageLocation
input-labels

Identify input labels that do not match package names

label 'gettext' does not match package name 'gettext-minimal'
derivation

Report failure to compile a package to a derivation

failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f8ed7409c60> input: ("_" "static")>
derivation

Report failure to compile a package to a derivation

failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7fa7aa068c60> input: ("_" "static")>
derivation

Report failure to compile a package to a derivation

failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f5755cb9c60> input: ("_" "static")>
derivation

Report failure to compile a package to a derivation

failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f119da52c60> input: ("_" "static")>