یكی از سنتهای بعد از انقلاب این بود كه هر چیزی كه كلمه شاه دراسم آن بود باید تغییر نام می‌داد و یكی از این اسمها نام شهر و استان كرمانشاه بود. نام كرمانشاه پس از انقلاب به قهرمانشهر و پس از مدتی به باختران تبدیل شد. در تمام دهه شصت نام این شهر باختران بود تا اینكه در دهه هفتاد توسط مجلس شورای اسلامی بنا بردرخواست مردم دوباره به كرمانشاه برگشت. از این تغییر نامهای دهه شصت باید به موضوع بامزه‌ای اشاره كنم و آن این بود كه در سبزی فروشی‌ها تا مدتها به شاهی می گفتند تره‌تیزك!!