When compiling with a missing extension, the error message recommends looking the Public Library or at inform7.com. The extensions to be found at inform7.com are legacy extensions and won't usually work with the latest version.
One possibility would be to point to the Inform extension library at https://i7el.herokuapp.com/, which may be a little stalled out but is better than inform7.com for this purpose. Or, point out that you can search the internet for available extensions.
Steps to reproduce :
Include Useful Extension by Helpful Author.
Lab is a room.
Additional information :
Error message:
Problem. I can't find the extension 'Useful Extension by Helpful Author', which seems not to be installed, but was requested by: 'Include Useful Extension by Helpful Author' .
You can get hold of extensions which people have made public at the Inform website, www.inform7.com, or by using the Public Library in the Extensions panel.
Reported by : mattweiner
Description :
When compiling with a missing extension, the error message recommends looking the Public Library or at inform7.com. The extensions to be found at inform7.com are legacy extensions and won't usually work with the latest version.
One possibility would be to point to the Inform extension library at https://i7el.herokuapp.com/, which may be a little stalled out but is better than inform7.com for this purpose. Or, point out that you can search the internet for available extensions.
Steps to reproduce :
Additional information :
Error message:
Problem. I can't find the extension 'Useful Extension by Helpful Author', which seems not to be installed, but was requested by: 'Include Useful Extension by Helpful Author' .
imported from: [Mantis 2026] Error message for missing extensions points to inform7.comYou can get hold of extensions which people have made public at the Inform website, www.inform7.com, or by using the Public Library in the Extensions panel.