[galaxy-user] edit file in galaxy