In this work, we present a finite element discretization of a contact model of a Naghdi shell with a rigid body. The local basis-free contact formulation introduced in [2] allows for existence and uniqueness of the discret problem for general shells with discontinuous curvatures and to perform its a priori analysis.