Никакие знаки препинания здесь не нужны. Так и пишется: решил было уходить, собрался было спать.

Интересна история подобных форм. Формы с было представляют собой остатки сложной древнерусской формы прошедшего времени – плюсквамперфекта. Плюсквамперфект обозначал прошедшее действие, которое завершилось раньше другого прошедшего действия, а также отнесенный к прошлому результат еще ранее совершенного действия (ср. англ. Past Perfect). Пример: у ярополка жена грекини бе и бяше была черницею – «у Ярополка жена была гречанка (прошлое состояние), которая (еще раньше) была монахиней». В поздний этап своего существования в русском языке (XVI–XVII века) плюсквамперфект образовывался путем сочетания изменяемого по родам и числам причастия на -л от глагола быть и причастия на -л смыслового глагола: Земля была высохла, да опять промокла – «Земля стала (в прошлом) мокрой, хотя (еще раньше) высохла». Впоследствии плюсквамперфект пережил в истории русского языка несколько преобразований. Причастие на -л от быть превратилось в неизменяемую форму было. А значение стало таким: действие, готовящееся в прошлом, но не осуществившееся или начавшееся в прошлом, но прерванное другим действием. Отсюда формы: решил было уходить (но передумал); собрался было спать (но расхотелось).

В русском языке аббревиатуры и несклоняемые существительные иноязычного происхождения (не обозначающие живых существ, то есть неодушевленные, ср. слова на -и: сулугуни, салями, кольраби, цукини) обычно приобретают те родовые признаки, какими обладают опорные слова. В случае с аббревиатурами эта закономерность проявляет себя наиболее последовательно. Нагляден пример аббревиатур, образованных на базе сочетаний со словом институт (НИИ, МАИ, ИАИ и т. д.), центр (НЦБИ — научный центр биологической информации): они употребляются как существительные мужского рода. Иноязычные аббревиатуры не исключение: Би-би-си — существительное женского рода (по слову корпорация); у существительного среднего рода ЦРУ есть опора в виде существительного управление; существительное мужского рода сиди (от СD) наследует грамматические признаки слова диск. В печатных изданиях можно встретить обороты типа базовый / функциональный / мощный / удобный API. Они свидетельствуют о том, что иноязычная аббревиатура API (с опорой в виде слова интерфейс; от англ. Application programming interface) согласуется с прилагательными по образцу существительного мужского рода. Вместе с тем констатируем: в текстах запечатлены и сочетания, которых аббревиатура API предстает как существительное среднего рода; ср. мощное и удобное API. 

См. исследование академика О. Н. Трубачева «К истокам Руси».

Все ясно. В первом случае нужно поставить тире, во втором - двоеточие.

122">http://www.gramota.ru/spravka/punctum/58122

В СЛУЧАЕ(,) ЕСЛИ, союз

Придаточные предложения, присоединяемые союзом «в случае(,) если», выделяются (или отделяются) запятыми. При этом союз может целиком входить в придаточную часть (и не разделяться запятой), но может и расчленяться (в этом случае запятая ставится между частями союза, перед словом «если»). О факторах, влияющих на расстановку знаков препинания, см. в Прил. 3.

Но в случае, если заблагорассудите сделать из сего моего письма какое-либо употребление, всепокорнейше прошу никак имени моего не упоминать... А. Пушкин, Повести покойного Ивана Петровича Белкина. В случае если присяжные закатают меня, то я обращусь к своему старому другу… А. Чехов, Ночь перед судом. Интересно знать, в случае если нам придется бежать, пойдет она с нами или нет? В. Обручев, Земля Санникова. Жилец приказал Анфисе, преданной и давней домашней работнице Анны Францевны, сказать, в случае если ему будут звонить, что он вернется через десять минут, и ушел вместе с корректным милиционером в белых перчатках. М. Булгаков, Мастер и Маргарита. В случае, если мы уберем войска из Курляндии, на каждую немецкую дивизию под Берлином будет приходиться по крайней мере три русские. Ю. Семенов, Семнадцать мгновений весны.

Сокращение мск (МСК) представляет собой особый тип, который можно назвать стяжением, но ни в правилах орфографии, ни в ГОСТах сокращения такого типа не описаны. В ГОСТ Р 7.0.12-2011 «Система стандартов по информации, библиотечному и издательскому делу. Библиографическая запись. Сокращение слов и словосочетаний на русском языке. Общие требования и правила» к стяжениям относят только формы с дефисом типа ин-т, изд-во. В полном академическом справочнике «Правила русской орфографии и пунктуации» под ред. В. В. Лопатина упоминаются общеупотребительные графические сокращения млн, млрд. Они образованы тем же способом, что и мск, и мы полагаем, что их можно рассматривать как орфографический прецедент. Написание строчными буквами, по нашим наблюдениям, преобладает и в практике письма. Все это дает основания писать сокращение мск строчными буквами.

Написание прописными буквами (МСК) встречается в Федеральном законе от 03.06.2011 № 107-ФЗ «Об исчислении времени». Вероятно, на выбор написания повлияла аббревиатура UTC (Всемирное координированное время, восходит к англ. Coordinated Universal Time и фр. Temps Universel Coordonné). Оба сокращенных обозначения употребляются в одном предложении, напр.: 4-я часовая зона (МСК+2,  московское  время  плюс  2  часа, UTC+5). В таком контексте написание прописными буквами МСК оправданно.

Интересный вопрос. Слово торсида известными нам толковыми словарями русского языка пока не фиксируется, хотя используется достаточно давно. Это слово обозначает футбольных болельщиков, фанатов и употребляется как собирательное существительное (ср.: листва, студенчество), напр.: на трибунах беснуется спартаковская торсида. Торсида, безусловно, может петь (и лучше пусть поет, а не бросает на поле посторонние предметы или скандирует неприличные кричалки).

Слово это пришло к нам, по всей вероятности, из испанского или португальского языка и связано с глаголом  torcer (ср. англ. torsade 'витой шнурок', восходящее – через французское посредство – к тому же латинскому корню). У португальского глагола torcer словари фиксируют несколько значений: прямое значение 'скручивать, сгибать, крутить' и несколько переносных, в том числе – 'спорт. болеть'.  Как 'крутить' стало означать 'болеть'? Одна из версий связывает такое развитие значения с наблюдением репортера, заметившего, как девушка на трибуне нервно скручивала перчатки, переживая из-за происходящего на поле (подробнее эта версия изложена здесь). Можно также предположить, что развитие значения от 'крутить' до 'болеть' шло аналогично русскому языку: переживания человека, остро реагирующего на ход состязания, сравниваются с физическими страданиями (т. е. человека «скручивает» из-за происходящего на поле).

Наконец, не лишена правдоподобия еще одна версия происхождения слова торсида. По-испански и по-португальски torcida – 'фитиль'. Могло ли на базе прямого значения 'фитиль' развиться переносное значение 'болельщики'? Учитывая, как болельщики «зажигают» на трибунах, – вполне возможно.

Мы переадресовали Ваш вопрос авторам "Русского орфографического словаря. Приводим их ответ: "Слитное написание давно назрело, это яркое проявление приспособления чужого слова данного типа  к русской системе правописания. В истории бытования иноязычных слов в русском письме проявляется тенденция к расширению области слитного написания. Ретроспективный анализ написания существительных данного типа показывает предпочтение слитного написания, если в узусе есть вариативность, и соответствующую этому предпочтению политику орфографистов-кодификаторов [Бешенкова 2018, с. 55-59]. Согласно лингвистическим наблюдениям, «тенденция к предпочтению слитного написания существительных с неупотребляемыми самостоятельно одной или обеими частями охватывает не только новые слова, но и уже устоявшиеся. Например, закрепленное в орфографическом словаре 1974 г. написание уик-энд (англ. week-end и weekend) сегодня вытесняется вариантом в слитном написании» [Бешенкова, Иванова 2016, с. 39]. Подвижность лексического состава заимствований и действие различных факторов, способствующих постепенному обрусению пришедших слов, влияют и на их кодификацию в академическом «Русском орфографическом словаре». [Бешенкова 2018 — Е. В. Бешенкова. Ретроспекция как фактор в современной политике орфографистов // Е. В. Бешенкова, О. Е. Иванова. Аспектное описание русской орфографии. М., 2018. С. 17-76. Бешенкова, Иванова 2016 — Е. В. Бешенкова, О. Е. Иванова. Теория и практика нормирования русского письма. М., 2016. URL:  https://ruslang.ru/doc/ortho/Beshenkova_Ivanova-2016-norm_pisma.pdf ]".

Таким образом, можно ожидать, что уже в скором времени рекомендация по написанию слова хайтек (вместо ныне рекомендованного хай-тек) будет изменена.