diff --git a/nusmv/extra_shellrc b/nusmv/extra_shellrc
new file mode 100644
index 0000000..d97030e
--- /dev/null
+++ b/nusmv/extra_shellrc
@@ -0,0 +1 @@
+alias nusmv='docker run -it --rm -v /home/$USER/Development:/input:ro badouralix/nusmv'