https://bradleycarey.com/categories/gedit/ Recent content in Gedit on bradleycarey.com Hugo en Sat, 02 Sep 2023 22:22:18 -0400 https://bradleycarey.com/posts/2011-10-18-bash-script-for-love2d-gedit-external-tools-plugin/ Tue, 18 Oct 2011 22:19:28 -0400 https://bradleycarey.com/posts/2011-10-18-bash-script-for-love2d-gedit-external-tools-plugin/ <p>Due to a severe lack of good IDEs for Lua, I have resorted to using <a href="http://projects.gnome.org/gedit/" title="gEdit" class="external-link" target="_blank" rel="noopener">gedit</a>. The External Tools plug-in greatly extends the functionality of gedit by giving the user the ability to run scripts from the press a keyboard shortcut. Go to Tools &gt; External Tools and add a new shortcut. Make sure to set the hotkey of your choice and then enter this script into the edit box on the top right:</p>