ΔE 18.9, loose: different enough that you should pick on purpose. Skull Linen is a little darker, much more muted than Battleship Grey.
Not as a straight swap; see the closer alternatives below. Loose match (ΔE 19). Skull Linen is a little darker, much more muted than Battleship Grey.
The same difference applies the other way round: Battleship Grey is a little lighter, much more saturated.
ΔE is the colour difference between our two swatch estimates: under about 6 is close, over about 15 is loose. Real paints also differ in finish, coverage and how they thin, so test before you commit.
See Battleship Grey on the colour wheel See Skull Linen on the colour wheel
All matches: Battleship Grey equivalents · Skull Linen equivalents