dot/profile: Unbungle the setting of `$DEB_BUILD_OPTIONS'.
[profile] / git /
drwxr-xr-x   ..
-rw-r--r-- 196 attributes
-rw-r--r-- 402 gitignore