Attribute Data Type:
Attribute Default Value:
Attribute Group:
Attribute Purpose:
Attribute Inherited from Preferences?
Attribute UI-configurable?
Attribute Read-Only?
Attribute Intrinsic?
Attribute First Added:
Attribute Altered:
string [other string-type attributes]
.html
HTML [other HTML Group attributes]
HTML export file configuration
Yes
Yes
No
No
Baseline
8.6.0
File extension to use for exported HTML pages (includes preceding full stop).
The default value is '.html'. A new note inherits the default but the value can be altered at note level by editing the note's Get Info or via a stamp. Editing allows for other extensions, such as ASP/PHP/etc., to be specified as well as other forms like '.txt', '.js' or '.md'.
$HTMLExportExtension can be set via the Export Inspector's → Export tab, 'Extension' box.
If the note's default is altered it is saved as the note's $HTMLExportExtension value.
From v8.6.0, $HTMLExportExtension is no longer a preference attribute, so allowing a document default value to be set.