Perintah yang tepat untuk mereboot system komputer pada os linux adalah