# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1781208578 -3600
# Node ID e44d214699befb0d2a1990101fd37d1016a9dd67
# Parent  b3ba45af45c9f924c83a9e75fc9f1eceef483b2a
color ls

diff -r b3ba45af45c9 -r e44d214699be .bashrc
--- a/.bashrc	Wed Jun 10 19:07:01 2026 +0100
+++ b/.bashrc	Thu Jun 11 21:09:38 2026 +0100
@@ -20,6 +20,8 @@
     echo -ne '\033]0;'${HOSTNAME/-login/} ${PWD/$HOME/w\~}'\007'
 }
 
+alias ls="ls -F --color=auto"
+
 PATH=$PATH:$HOME/.local/bin:$HOME/bin
 
 if [ "$PS1" ]; then