Changes between Version 18 and Version 19 of Howto


Ignore:
Timestamp:
Jun 7, 2010, 7:11:41 PM (5 years ago)
Author:
patspam
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Howto

    v18 v19  
    143143 
    144144 * Remove any existing shortcuts/launchers you have previously created for Padre 
    145  * Create a launcher bash script as described above, and save it somewhere in your $PATH, such as /usr/local/bin/padre 
    146  * Execute /usr/local/bin/padre from your terminal. Padre will launch with a low-res icon. Close Padre 
     145 * Create a wrapper bash script as described above, and save it somewhere in your $PATH, such as /usr/local/bin/padre 
    147146 * Add a new GNOME Menu item using the following settings: 
    148147 ** Name: Padre