Hi,
My Great Grandfather was stationed at Portobello.
The Barracks was called "Marshalsea Barracks" at that time.
He was a Colour Sergeant with the Royal Dublin Fusiliers and there is a lot of history available on their time in Dublin and elsewhere. I've only just started looking through it!
Hope this is of some help to you.
Regards
RonnieG