Renaming a history
Authors:
Bérénice Batut
Wolfgang Maier
Saskia Hiltemann
Helena Rasche
Anton Nekrutenkohall-of-fameAdd Contributions!
Explains how to rename a history
- Click on galaxy-pencil (Edit) next to the history name (which by default is “Unnamed history”)
- Type the new name
- Click on Save
- To cancel renaming, click the galaxy-undo “Cancel” button
If you do not have the galaxy-pencil (Edit) next to the history name (which can be the case if you are using an older version of Galaxy) do the following:
- Click on Unnamed history (or the current name of the history) (Click to rename history) at the top of your history panel
- Type the new name
- Press Enter
Persistent URL
Resource purlPURL: https://gxy.io/GTN:F00071Still have questions?
Gitter Chat Support
Galaxy Help Forum