35 lines
		
	
	
	
		
			480 B
		
	
	
	
		
			Text
		
	
	
	
	
	
			
		
		
	
	
			35 lines
		
	
	
	
		
			480 B
		
	
	
	
		
			Text
		
	
	
	
	
	
#
 | 
						|
# term -- a shell function to set the terminal type interactively or not.
 | 
						|
#
 | 
						|
 | 
						|
term()
 | 
						|
{
 | 
						|
	local	t
 | 
						|
 | 
						|
	if [ $# != 0 ] ; then
 | 
						|
		eval $(tset -sQ $1)
 | 
						|
	else				# interactive
 | 
						|
		if [ -z "$TERM" ] ; then
 | 
						|
			TERM="unknown"
 | 
						|
		fi
 | 
						|
 | 
						|
		case "$TERM" in
 | 
						|
			network|dialup|unknown|lat)
 | 
						|
				TERM=unknown
 | 
						|
				;;
 | 
						|
			*)
 | 
						|
				eval $(tset -sQ)
 | 
						|
				;;
 | 
						|
		esac
 | 
						|
 | 
						|
		while [ "$TERM" = "unknown" ] ; do
 | 
						|
			echo -n "Terminal type: "
 | 
						|
			read t
 | 
						|
			if [ -n "$t" ] ; then
 | 
						|
				eval $(tset -sQ $t)
 | 
						|
			fi
 | 
						|
		done
 | 
						|
	fi
 | 
						|
}
 | 
						|
 | 
						|
		
 |