Added /home/goughy & %USERPROFILE% entries for extensions also
This commit is contained in:
parent
c4c33d4596
commit
44d03c3dd5
@ -38,7 +38,9 @@
|
|||||||
-- Enable extensions - the '?' character is replaced with the extension
|
-- Enable extensions - the '?' character is replaced with the extension
|
||||||
-- name so the extension directory name _must_ be the same as the
|
-- name so the extension directory name _must_ be the same as the
|
||||||
-- extension Lua file. eg. .../d/d.lua, .../codelite/codelite.lua etc
|
-- extension Lua file. eg. .../d/d.lua, .../codelite/codelite.lua etc
|
||||||
|
local home = os.getenv("HOME") or os.getenv("USERPROFILE")
|
||||||
local extdirs = {
|
local extdirs = {
|
||||||
|
home .. "/.premake/?/?.lua",
|
||||||
path.getdirectory( _PREMAKE_COMMAND ) .. "/ext/?/?.lua",
|
path.getdirectory( _PREMAKE_COMMAND ) .. "/ext/?/?.lua",
|
||||||
"./premake/?/?.lua",
|
"./premake/?/?.lua",
|
||||||
"/usr/share/premake/?/?.lua" }
|
"/usr/share/premake/?/?.lua" }
|
||||||
|
Loading…
Reference in New Issue
Block a user