Gas supply through pipes