mirror of
				https://github.com/gaschz/dotfiles.git
				synced 2025-11-04 13:38:58 +01:00 
			
		
		
		
	feat: set manual page and GNU Info paths
Useful to have a directory that is user writable to drop-in manual pages of programs that are only run by user and not superuser or other users.
This commit is contained in:
		
							parent
							
								
									0ef9267754
								
							
						
					
					
						commit
						07c7d1ed95
					
				@ -36,8 +36,10 @@ export SHDIR BASHDIR ZDOTDIR
 | 
			
		||||
PATH="$HOME/bin:$HOME/.local/bin/$HOSTNAME:$HOME/.local/bin"
 | 
			
		||||
PATH="$PATH:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"
 | 
			
		||||
PATH="$PATH:/usr/local/games:/usr/games"
 | 
			
		||||
# INFOPATH="/usr/local/share/info:/usr/local/info:/usr/share/info:/usr/info"
 | 
			
		||||
# MANPATH="/usr/local/man:/usr/local/share/man:/usr/share/man:/usr/man"
 | 
			
		||||
INFOPATH="$HOME/.local/share/info:/usr/local/share/info:/usr/local/info"
 | 
			
		||||
INFOPATH="$INFOPATH:/usr/share/info:/usr/info"
 | 
			
		||||
MANPATH="$HOME/.local/share/man:/usr/local/man:/usr/local/share/man"
 | 
			
		||||
MANPATH="$MANPATH:/usr/X11R6/man:/opt/man:/snap/man:/usr/man:/usr/share/man"
 | 
			
		||||
ENV="$SHDIR/shrc"
 | 
			
		||||
BASH_ENV="$BASHDIR/bash_env"
 | 
			
		||||
TMPDIR="/tmp"
 | 
			
		||||
 | 
			
		||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user