if (length(getenv("TEXMACS_PATH")) > 0)
	PS1="\\002channel:prompt\\005\\s:\\#> \\005";
	PS2="\\002channel:prompt\\005> \\005";
endif
