Fix linux SED command in dev docs (#4774)
Fix linux SED command in dev docs (#4774)

Signed-off-by: Thomas Cooper <e6fb06210fafc02fd7479ddbed2d042cc3a5155e@tomcooper.dev>
scholzj/barnabas,ppatierno/kaas,ppatierno/kaas,scholzj/barnabas