Skip to content

Commit 1228374

Browse files
authored
Merge pull request #137 from UoMResearchIT/big-term
Allow optional bigness
2 parents ddea7a8 + fa09308 commit 1228374

File tree

1 file changed

+8
-1
lines changed

1 file changed

+8
-1
lines changed

instructors/terminal.sh

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -144,4 +144,11 @@ tmux resize-pane -t "${LOG_PANE}" -y "${LOG_PANE_HEIGHT}"
144144
# seem to cause any harm.
145145
tmux set-option -t "${WINDOW}" -q -w status off
146146

147-
tmux attach-session -t "${SESSION}"
147+
# Allow a scaled terminal to be launched
148+
if [ "$arg" == "--big" ] || [ "$arg" == "-b" ]; then
149+
st -f "monospace:size=28" -e tmux attach-session -t "${SESSION}"
150+
break
151+
else
152+
tmux attach-session -t "${SESSION}"
153+
fi
154+

0 commit comments

Comments
 (0)