'Pitched' in the Bible

And David made him houses in the city of David; and he prepared a place for the ark of God, and pitched for it a tent.

And they brought in the ark of God, and set it in the midst of the tent that David had pitched for it: and they offered burnt-offerings and peace-offerings before God.