Pipe jacking includes lining a tunnel bore formed by a shield or other means by pushing specially-designed jacking pipes into the tunnel bore from one shaft to another.