fix profile.conf line endind
This commit is contained in:
10
profile.conf
10
profile.conf
@@ -1,6 +1,6 @@
|
|||||||
[system]
|
[system]
|
||||||
# System section is used to set system-wide variables, such as PATH, environment variables, and other
|
# System section is used to set Bash behavior and other system related variables,
|
||||||
# settings that affect the entire system. It is also a good place to set some global variables that can be used by the profile or its functions, such as the default editor and pager.
|
# such as the default pager, the terminal type, etc.
|
||||||
# Set bash history
|
# Set bash history
|
||||||
HISTSIZE=50000
|
HISTSIZE=50000
|
||||||
HISTIGNORE="&:[bf]g:exit"
|
HISTIGNORE="&:[bf]g:exit"
|
||||||
@@ -8,7 +8,7 @@ HISTIGNORE="&:[bf]g:exit"
|
|||||||
# Set default pager
|
# Set default pager
|
||||||
PAGER=less
|
PAGER=less
|
||||||
|
|
||||||
# More colors
|
# Set terminal colors behavior
|
||||||
TERM=xterm-256color
|
TERM=xterm-256color
|
||||||
|
|
||||||
[info]
|
[info]
|
||||||
@@ -17,10 +17,10 @@ DEFAULT_CITY="Toulouse"
|
|||||||
|
|
||||||
[general]
|
[general]
|
||||||
# General section allow to set any variable that can be used by the profile or its functions. It is
|
# General section allow to set any variable that can be used by the profile or its functions. It is
|
||||||
# also a good place to set some global variables that can be used by the profile or its functions, such as
|
# also a good place to set freely global variables for personal use.
|
||||||
# the compilation flags and make options.
|
|
||||||
# Set some compiling values
|
# Set some compiling values
|
||||||
CFLAGS="-O2 -pipe -march=native"
|
CFLAGS="-O2 -pipe -march=native"
|
||||||
|
CXXFLAGS="$CFLAGS"
|
||||||
MAKEFLAGS='-j12'
|
MAKEFLAGS='-j12'
|
||||||
PKGSOURCES='/share/src/archives'
|
PKGSOURCES='/share/src/archives'
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user