183 reputation
10
bio website cse.iitb.ac.in/~ranveer
location India
age 19
visits member for 1 year, 3 months
seen Aug 26 at 11:10

Hello World!

I am Ranveer Aggarwal, a second year undergrad majoring in Computer Science and Engineering.

Theoretical Computer Science forms the core of my interest. Ever wanna have an informal discussion on Algorithms? Or maybe something else? Ping me: @ranveeraggarwal. Apart from this, I like Programming, Web Development and I do love games as much as I love to make them.

profile for Ranveer on Stack Exchange, a network of free, community-driven Q&A sites


Aug
26
comment Natural Scrolling doesn't work in 12.04 in some windows. Where should I report the bug?
If it ain't there, try sudo apt-get install dconf-tools
Jul
23
asked Issue with AMD drivers (14.04)
Jul
1
comment Trouble dual loading 14.04 and Windows 7 64 bit
Try opening GParted. What does it show?
Jun
21
accepted Sublime Text 2 not saving preferences
Mar
12
answered Sublime Text 2 not saving preferences
Mar
12
comment Sublime Text 2 not saving preferences
^Awesome! It works. I mean not exactly that, but a minor tweak of the same. Thanks
Mar
12
asked Sublime Text 2 not saving preferences
Feb
22
comment Attempted to dual-boot, when I select Windows 8 loader, GRUB says “unknown: drivemap”?
@LiveWireBT the thing is that if I post it as an answer, it would be a dupe. Also, the dual booting problem has a common solution mostly. This blog post may or may not resolve the issue, but it's a start.
Feb
11
comment Attempted to dual-boot, when I select Windows 8 loader, GRUB says “unknown: drivemap”?
Here's a small article by me that solves most of the dual boot problems: ranveeraggarwal.github.io/blog/ubuntu-windows-dual-boot
Feb
4
revised Black screen booting Ubuntu and from LiveUSB
edited title
Feb
4
revised GRUB menu doesn't render properly
edit title
Feb
4
accepted GRUB menu doesn't render properly
Jan
16
comment GRUB menu doesn't render properly
I guess that was it. Btw @RodSmith can you direct me to a resource wherein I can learn more about GRUB. There seems to have been a lot of problems with mine lately.
Jan
15
comment GRUB menu doesn't render properly
It's working. I can dual boot smoothly from GRUB menu now
Jan
15
comment GRUB menu doesn't render properly
@comrademike I solved the issue, check my answer.
Jan
15
answered GRUB menu doesn't render properly
Jan
15
comment GRUB menu doesn't render properly
A year or so, I guess
Jan
15
comment GRUB menu doesn't render properly
I haven't seen anything like this before.
Jan
15
revised GRUB menu doesn't render properly
edited title
Jan
15
asked GRUB menu doesn't render properly