/usr/share/help/C/gedit/gedit-plugins-insert-date-time.page is in gedit-common 3.28.1-1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 | <page xmlns="http://projectmallard.org/1.0/"
type="topic" style="task"
id="gedit-plugins-insert-date-time">
<info>
<link type="guide" xref="gedit-plugin-guide#gedit-default-plugins"/>
<revision pkgversion="3.8" date="2013-02-24" status="review"/>
<credit type="author">
<name>Daniel Neel</name>
<email>dneelyep@gmail.com</email>
</credit>
<credit type="author">
<name>Jim Campbell</name>
<email>jcampbell@gnome.org</email>
</credit>
<desc>Insert the current date/time at the cursor position.</desc>
</info>
<title>Insert date/time</title>
<p>As this name of this plugin suggests, the <gui>Insert Date/Time</gui>
plugin allows you to insert the date and/or time at the current cursor
position. To enable this plugin, select <guiseq><gui style="menu">gedit</gui>
<gui style="menuitem">Preferences</gui><gui>Plugins</gui>
<gui>Insert Date/Time</gui></guiseq>. To use the plugin, press <guiseq>
<gui style="menu">Edit</gui><gui>Insert Date and Time</gui></guiseq>.</p>
<p>By default, the <gui>Insert Date/Time</gui> plugin will prompt you to
choose your preferred date/time format each time that you use the plugin.
However, you can choose your own default date and time format by selecting
<guiseq><gui style="menu">gedit</gui><gui style="menuitem">Preferences</gui>
<gui>Plugins</gui><gui>Insert Date/Time</gui><gui>Configure</gui></guiseq>.
</p>
</page>
|