From 98c755706a43f4cb86db4ceca367b082d035d203 Mon Sep 17 00:00:00 2001 From: Keenan Gugeler Date: Sat, 16 Sep 2023 22:47:32 -0400 Subject: [PATCH] style: Use POSIX sh for make_style.sh Also update the gitignore for select2-dmoj.css. --- .gitignore | 1 + make_style.sh | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index e6a45e255..a755bd0f3 100644 --- a/.gitignore +++ b/.gitignore @@ -9,6 +9,7 @@ dmoj/local_settings.py resources/dark resources/martor-description.css +resources/select2-dmoj.css resources/style.css resources/vars.scss sass_processed diff --git a/make_style.sh b/make_style.sh index 80392ed84..f926575ef 100755 --- a/make_style.sh +++ b/make_style.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh if ! [ -x "$(command -v sass)" ]; then echo 'Error: sass is not installed.' >&2 exit 1